perm filename W82.OUT[LET,JMC]2 blob
sn#652623 filedate 1982-04-01 generic text, type C, neo UTF8
COMMENT ⊗ VALID 00251 PAGES
C REC PAGE DESCRIPTION
C00001 00001
C00018 00002
C00019 00003 ∂04-Jan-82 1411 JMC John romano
C00020 00004 ∂04-Jan-82 1602 JMC
C00021 00005 ∂04-Jan-82 2111 JMC
C00022 00006 ∂05-Jan-82 0003 JMC Note to Herb Caen
C00023 00007 ∂05-Jan-82 0012 JMC
C00024 00008 ∂05-Jan-82 0024 JMC Using your system at Stanford
C00026 00009 ∂05-Jan-82 1544 JMC
C00027 00010 ∂05-Jan-82 2211 JMC
C00028 00011 ∂05-Jan-82 2235 JMC
C00029 00012 ∂06-Jan-82 0057 JMC
C00030 00013 ∂06-Jan-82 0059 JMC
C00031 00014 ∂06-Jan-82 1101 JMC Competitive life
C00032 00015 ∂06-Jan-82 1114 JMC
C00033 00016 ∂06-Jan-82 1811 JMC
C00034 00017 ∂07-Jan-82 0039 JMC
C00035 00018 ∂07-Jan-82 0059 JMC computer use for CS258
C00036 00019 ∂07-Jan-82 1155 JMC life
C00037 00020 ∂07-Jan-82 1545 JMC admissions
C00038 00021 ∂07-Jan-82 1616 JMC
C00039 00022 ∂07-Jan-82 2112 JMC
C00040 00023 ∂08-Jan-82 0811 JMC
C00041 00024 ∂08-Jan-82 0848 JMC ekl problem
C00042 00025 ∂08-Jan-82 0914 JMC
C00043 00026 ∂08-Jan-82 1001 JMC
C00044 00027 ∂08-Jan-82 1421 JMC funds for computing
C00045 00028 ∂08-Jan-82 1546 JMC Computer accts
C00046 00029 ∂09-Jan-82 0019 JMC lispx inelegances
C00048 00030 ∂09-Jan-82 0020 JMC more on lispx
C00049 00031 ∂09-Jan-82 0126 JMC
C00050 00032 ∂09-Jan-82 0150 JMC more lispx
C00051 00033 ∂10-Jan-82 0044 JMC
C00052 00034 ∂10-Jan-82 0046 JMC
C00054 00035 ∂10-Jan-82 1735 JMC more flat
C00056 00036 ∂10-Jan-82 2333 JMC
C00057 00037 ∂11-Jan-82 1834 JMC
C00058 00038 ∂11-Jan-82 2328 JMC bug?
C00059 00039 ∂12-Jan-82 0008 JMC
C00060 00040 ∂12-Jan-82 0135 JMC
C00062 00041 ∂12-Jan-82 1602 JMC proposal
C00063 00042 ∂12-Jan-82 2134 JMC
C00064 00043 ∂12-Jan-82 2150 JMC
C00065 00044 ∂13-Jan-82 0259 JMC
C00066 00045 ∂13-Jan-82 0323 JMC lisp axioms
C00067 00046 ∂13-Jan-82 1051 JMC
C00068 00047 ∂13-Jan-82 1101 JMC
C00069 00048 ∂13-Jan-82 1142 JMC
C00070 00049 ∂13-Jan-82 1155 JMC
C00071 00050 ∂13-Jan-82 1327 JMC system
C00072 00051 ∂13-Jan-82 1417 JMC
C00073 00052 ∂13-Jan-82 1440 JMC
C00074 00053 ∂13-Jan-82 1853 JMC proof done but could be improved
C00075 00054 ∂13-Jan-82 2136 JMC new bug
C00077 00055 ∂13-Jan-82 2156 JMC more on bug
C00078 00056 ∂14-Jan-82 1950 JMC improved lname
C00079 00057 ∂16-Jan-82 1705 JMC
C00080 00058 ∂16-Jan-82 2026 JMC
C00081 00059 ∂17-Jan-82 2313 JMC your axioms
C00082 00060 ∂18-Jan-82 1056 JMC
C00083 00061 ∂18-Jan-82 1110 JMC
C00085 00062 ∂18-Jan-82 1341 JMC
C00086 00063 ∂18-Jan-82 1344 JMC
C00087 00064 ∂18-Jan-82 1647 JMC
C00088 00065 ∂18-Jan-82 2205 JMC
C00089 00066 ∂18-Jan-82 2332 JMC m and b
C00090 00067 ∂19-Jan-82 1252 JMC
C00091 00068 ∂19-Jan-82 1252 JMC
C00092 00069 A partial message was sent by mistake. Here's the whole message.
C00096 00070 ∂19-Jan-82 1551 JMC paper
C00097 00071 ∂19-Jan-82 1650 JMC
C00101 00072 ∂19-Jan-82 1654 JMC
C00102 00073 ∂20-Jan-82 1254 JMC organization meeting for Porto course
C00103 00074 ∂20-Jan-82 1357 JMC
C00104 00075 ∂20-Jan-82 1835 JMC
C00106 00076 ∂20-Jan-82 2036 JMC
C00107 00077 ∂21-Jan-82 0051 JMC Hurd title
C00108 00078 ∂21-Jan-82 2102 JMC
C00109 00079 ∂21-Jan-82 2318 JMC
C00110 00080 ∂22-Jan-82 2034 JMC
C00111 00081 ∂22-Jan-82 2322 JMC
C00112 00082 ∂23-Jan-82 0055 JMC Umnov and Roth
C00113 00083 ∂23-Jan-82 0125 JMC
C00114 00084 ∂23-Jan-82 1104 JMC
C00115 00085 ∂23-Jan-82 1801 JMC Gosper
C00116 00086 ∂23-Jan-82 1814 JMC running out of screeen while running out of E
C00118 00087 ∂23-Jan-82 2316 JMC improved string search
C00121 00088 ∂24-Jan-82 0006 JMC
C00122 00089 ∂24-Jan-82 0121 JMC flap about Soviet robotics visitor
C00123 00090 ∂24-Jan-82 1752 JMC
C00124 00091 ∂24-Jan-82 2333 JMC
C00144 00092 ∂25-Jan-82 0201 JMC
C00145 00093 ∂25-Jan-82 0548 JMC
C00146 00094 ∂25-Jan-82 2120 JMC
C00147 00095 ∂26-Jan-82 1034 JMC
C00148 00096 ∂26-Jan-82 1309 JMC
C00149 00097 ∂27-Jan-82 1521 JMC
C00150 00098 ∂27-Jan-82 1526 JMC
C00153 00099 ∂27-Jan-82 1816 JMC
C00154 00100 ∂29-Jan-82 1532 JMC
C00155 00101 ∂29-Jan-82 1533 JMC
C00156 00102 ∂29-Jan-82 1535 JMC
C00157 00103 ∂29-Jan-82 1536 JMC
C00158 00104 ∂29-Jan-82 1546 JMC
C00159 00105 ∂29-Jan-82 2144 JMC
C00160 00106 ∂29-Jan-82 2150 JMC report and next friday
C00161 00107 ∂29-Jan-82 2207 JMC
C00162 00108 ∂30-Jan-82 0032 JMC report to LLL
C00163 00109 ∂30-Jan-82 1711 JMC Antonio Porto
C00164 00110 ∂30-Jan-82 2040 JMC
C00165 00111 ∂30-Jan-82 2041 JMC
C00166 00112 ∂31-Jan-82 1146 JMC
C00167 00113 ∂31-Jan-82 1722 JMC
C00171 00114 ∂31-Jan-82 1724 JMC
C00175 00115 ∂31-Jan-82 1925 JMC
C00176 00116 ∂31-Jan-82 1952 JMC
C00177 00117 ∂01-Feb-82 2320 JMC
C00178 00118 ∂01-Feb-82 2322 JMC
C00184 00119 ∂01-Feb-82 2325 JMC
C00185 00120 ∂01-Feb-82 2329 JMC Tops-20 Prolog Tape
C00188 00121 ∂02-Feb-82 0036 JMC
C00189 00122 ∂02-Feb-82 0144 JMC
C00190 00123 ∂02-Feb-82 0149 JMC
C00191 00124 ∂02-Feb-82 1020 JMC
C00192 00125 ∂02-Feb-82 1048 JMC
C00193 00126 ∂02-Feb-82 1620 JMC
C00194 00127 ∂02-Feb-82 1717 JMC
C00195 00128 ∂02-Feb-82 1753 JMC
C00196 00129 ∂02-Feb-82 1755 JMC
C00197 00130 ∂02-Feb-82 1841 JMC
C00198 00131 ∂02-Feb-82 2054 JMC
C00199 00132 ∂02-Feb-82 2056 JMC
C00200 00133 ∂03-Feb-82 1845 JMC sign
C00201 00134 ∂03-Feb-82 2335 JMC
C00206 00135 ∂03-Feb-82 2355 JMC
C00207 00136 ∂04-Feb-82 0157 JMC
C00208 00137 ∂04-Feb-82 1025 JMC
C00209 00138 ∂04-Feb-82 1032 JMC
C00210 00139 ∂04-Feb-82 1511 JMC
C00212 00140 ∂04-Feb-82 1624 JMC
C00213 00141 ∂04-Feb-82 2325 JMC
C00214 00142 ∂05-Feb-82 0036 JMC
C00215 00143 ∂05-Feb-82 0959 JMC
C00216 00144 ∂05-Feb-82 1719 JMC
C00217 00145 ∂06-Feb-82 2340 JMC
C00218 00146 ∂07-Feb-82 0223 JMC
C00219 00147 ∂07-Feb-82 1047 JMC
C00220 00148 ∂07-Feb-82 2302 JMC
C00221 00149 ∂08-Feb-82 0111 JMC
C00222 00150 ∂09-Feb-82 0404 JMC
C00223 00151 ∂09-Feb-82 0404 JMC account for Herbert Stoyan
C00224 00152 ∂09-Feb-82 0407 JMC
C00225 00153 ∂09-Feb-82 0408 JMC Stoyan account
C00226 00154 ∂09-Feb-82 0410 JMC
C00227 00155 ∂09-Feb-82 0944 JMC
C00228 00156 ∂09-Feb-82 1149 JMC
C00229 00157 ∂09-Feb-82 1150 JMC consulting bill
C00230 00158 ∂10-Feb-82 2345 JMC
C00231 00159 ∂11-Feb-82 1512 JMC
C00232 00160 ∂11-Feb-82 1704 JMC
C00233 00161 ∂12-Feb-82 1327 JMC
C00234 00162 ∂12-Feb-82 1455 JMC guest account for Martin Davis
C00235 00163 ∂12-Feb-82 1457 JMC account
C00236 00164 ∂12-Feb-82 2001 JMC message files
C00237 00165 ∂14-Feb-82 0119 JMC
C00238 00166 ∂14-Feb-82 1326 JMC
C00239 00167 ∂14-Feb-82 1328 JMC
C00240 00168 ∂14-Feb-82 1344 JMC
C00241 00169 ∂14-Feb-82 1659 JMC
C00242 00170 ∂14-Feb-82 2039 JMC
C00243 00171 ∂14-Feb-82 2055 JMC
C00244 00172 ∂14-Feb-82 2150 JMC
C00245 00173 ∂15-Feb-82 0128 JMC
C00246 00174 ∂15-Feb-82 1351 JMC
C00247 00175 ∂16-Feb-82 1128 JMC Davis address
C00248 00176 ∂16-Feb-82 2118 JMC
C00249 00177 ∂17-Feb-82 0047 JMC
C00250 00178 ∂17-Feb-82 0103 JMC
C00251 00179 ∂17-Feb-82 0138 JMC
C00252 00180 ∂17-Feb-82 0145 JMC
C00253 00181 ∂17-Feb-82 0149 JMC
C00254 00182 ∂17-Feb-82 0155 JMC
C00255 00183 ∂17-Feb-82 0241 JMC
C00256 00184 ∂17-Feb-82 0307 JMC
C00257 00185 ∂17-Feb-82 0312 JMC
C00258 00186 ∂17-Feb-82 0348 JMC film in space
C00259 00187 ∂17-Feb-82 0350 JMC
C00260 00188 ∂17-Feb-82 1553 JMC
C00261 00189 ∂18-Feb-82 1841 JMC
C00262 00190 ∂18-Feb-82 2241 JMC
C00264 00191 ∂18-Feb-82 2309 JMC more on simulation
C00265 00192 ∂20-Feb-82 1432 JMC
C00266 00193 ∂20-Feb-82 1432 JMC disjunctive knowledge
C00267 00194 ∂20-Feb-82 1521 JMC commute mileage for consultant
C00268 00195 ∂20-Feb-82 1603 JMC
C00269 00196 ∂20-Feb-82 1629 JMC
C00270 00197 ∂20-Feb-82 1634 JMC
C00271 00198 ∂20-Feb-82 1657 JMC letter for Teller
C00272 00199 ∂20-Feb-82 1718 JMC
C00273 00200 ∂20-Feb-82 1835 JMC
C00274 00201 ∂20-Feb-82 2142 JMC
C00275 00202 ∂20-Feb-82 2148 JMC iii trips Monday and Wednesday
C00276 00203 ∂20-Feb-82 2154 JMC L.A. trip
C00277 00204 ∂20-Feb-82 2214 JMC
C00278 00205 ∂21-Feb-82 0007 JMC
C00279 00206 ∂21-Feb-82 0105 JMC
C00280 00207 ∂21-Feb-82 0157 JMC
C00281 00208 ∂21-Feb-82 1409 JMC
C00282 00209 ∂22-Feb-82 0041 JMC
C00283 00210 ∂22-Feb-82 0403 JMC
C00284 00211 ∂23-Feb-82 1644 JMC
C00285 00212 ∂23-Feb-82 2246 JMC
C00286 00213 ∂24-Feb-82 0043 JMC
C00288 00214 ∂24-Feb-82 0044 JMC
C00289 00215 ∂25-Feb-82 1110 JMC
C00291 00216 ∂25-Feb-82 1421 JMC
C00292 00217 ∂25-Feb-82 1430 JMC Kuck paper
C00293 00218 ∂25-Feb-82 1743 JMC
C00294 00219 ∂25-Feb-82 1748 JMC
C00295 00220 ∂25-Feb-82 1751 JMC
C00296 00221 ∂25-Feb-82 1753 JMC
C00297 00222 ∂25-Feb-82 2122 JMC
C00298 00223 ∂25-Feb-82 2123 JMC
C00299 00224 ∂26-Feb-82 0016 JMC
C00300 00225 ∂26-Feb-82 1202 JMC
C00301 00226 ∂26-Feb-82 1337 JMC
C00302 00227 ∂26-Feb-82 1637 JMC
C00303 00228 ∂27-Feb-82 1536 JMC
C00304 00229 ∂27-Feb-82 1759 JMC
C00305 00230 ∂28-Feb-82 1433 JMC
C00306 00231 ∂28-Feb-82 1820 JMC Hayes quote
C00307 00232 ∂28-Feb-82 1832 JMC Wolfram
C00308 00233 ∂28-Feb-82 1848 JMC
C00309 00234 ∂01-Mar-82 0300 JMC meta-cognition: reasoning about knowledge
C00310 00235 ∂01-Mar-82 1156 JMC
C00311 00236 ∂01-Mar-82 1228 JMC
C00312 00237 ∂03-Mar-82 1546 JMC
C00313 00238 ∂03-Mar-82 1551 JMC
C00314 00239 ∂03-Mar-82 1700 JMC Common LISP discussion
C00315 00240 ∂03-Mar-82 1812 JMC
C00316 00241 ∂05-Mar-82 0112 JMC
C00319 00242 ∂05-Mar-82 0114 JMC
C00320 00243 ∂05-Mar-82 0318 JMC dinner with Ehud Shapiro
C00321 00244 ∂05-Mar-82 1416 JMC
C00324 00245 ∂05-Mar-82 1418 JMC
C00325 00246 ∂05-Mar-82 1419 JMC
C00328 00247 ∂05-Mar-82 1424 JMC
C00329 00248 ∂05-Mar-82 1449 JMC
C00330 00249 ∂05-Mar-82 1449 JMC reprint
C00334 00250 ∂07-Mar-82 1517 JMC Golux
C00335 00251 ∂07-Mar-82 1520 JMC
C00338 ENDMK
C⊗;
∂04-Jan-82 1411 JMC John romano
To: JMM
this hp student from Colorado 303 598-1900x2131 wants to know how
he's doing.
∂04-Jan-82 1602 JMC
To: FFL
Use Diffie's business address.
∂04-Jan-82 2111 JMC
To: RWG
New version of life[f81,jmc].
∂05-Jan-82 0003 JMC Note to Herb Caen
To: FFL
It tells me that It will keep raining until the last environmentalist
takes the brick out of his toilet tank.
∂05-Jan-82 0012 JMC
To: FFL
todoro.7
∂05-Jan-82 0024 JMC Using your system at Stanford
To: boyer at UTEXAS-20, moore at UTEXAS-20
I am thinking of having my course in theory of computation use your
prover this quarter for some problems. Are there any problems (technical
or proprietary) in importing the system to SCORE?
Alternatively, do you think SRI might be willing to let people use
it over the net on the Foonly they bought for you? Do you see any technical
problems and whom would I ask about it?
I have another problem about sublis(pattern, alist) and match(pattern,
expression, alist) being partial inverses that I have tried once and
failed. However, I'll try a couple more ideas before I bother you with
it.
∂05-Jan-82 1544 JMC
To: FFL
WADA.1
∂05-Jan-82 2211 JMC
To: FFL
lehman.1
∂05-Jan-82 2235 JMC
To: FFL
lindze.3
∂06-Jan-82 0057 JMC
To: RPG
Thanks for mail file info.
∂06-Jan-82 0059 JMC
To: rwg at MIT-MC
What number can I phone you at PARC?
∂06-Jan-82 1101 JMC Competitive life
To: RWG at SU-AI, rwg at MIT-MC
All gliders but one become homogeneous in color but
w
w
wbb
oscillates between 3 white and two black and the reverse. The geometric
phase and the color phase are synchronous. Of course, it isn't clear
that mixed gliders can be emitted by any kind of mixed glider gun.
Where do you prefer to receive mail?
∂06-Jan-82 1114 JMC
To: DON at SU-AI
LIFE[F81,JMC] proposes a competitive version.
∂06-Jan-82 1811 JMC
To: JJW
Please arrange with boyer%utexas-20 to ftp their prover to SCORE.
∂07-Jan-82 0039 JMC
To: RWW
What would be involve in reviving LCF for class experimentation?
∂07-Jan-82 0059 JMC computer use for CS258
To: csd.golub at SU-SCORE
As you recall, I arranged for SAIL use for CS206 in the Fall. However,
I recoiled in horror when I found out how many students there were in the
course and had them use LOTS. I want to retroactively consider that I
took a rain check and have the students use SAIL and also SCORE. Different
proof systems that I want them to use require the different operating systems.
There are only nine students in the class and they all turned out to have
SAIL accounts already; I didn't ask about SCORE.
∂07-Jan-82 1155 JMC life
To: rwg at MIT-MC
I had gone to bed when your message arrived only noticed it as I logged
in which made it disappear, so I didn't get it all. I assume a block
is a square of four points. In my version of competitive life, a square
doesn't oscillate, because a cell flips only if a majority of neighbors
including itself are of the opposite color. I think this is more likely
to lead to a decisive victory for one color than making it more oscillatory.
The oscillatory glider configuration was obtained on paper looking at
all ten gliders with 3 whites and two blacks.
∂07-Jan-82 1545 JMC admissions
To: csd.golub at SU-SCORE
Why do we allow any GRE but engineering?
∂07-Jan-82 1616 JMC
To: csd.golub at SU-SCORE
My query may be confusing. I mean why don't we allow engineering?
∂07-Jan-82 2112 JMC
To: KLC
There is no literature that I know of that mentions both except a sentence
or two in my paper. I agree that circumcscription might be used to establish
a sample space for probabilistic reasoning. I would be glad to discuss the
matter with you at a mutually convenient time - tomorrow afternoon any time
after 2:30 would be convenient for me. Since I don't remember any Wednesday
remarks, any apology is indeed moot.
∂08-Jan-82 0811 JMC
To: rwg at MIT-MC
W B
B W
won't blink according to my rules, because flipping requires a majority
including self. Of course, the rules can be as we choose, but for
the competitive game, it seems to me that my rules are more likely
to lead to a situation that can be called a victory. Experiment will
tell, however.
∂08-Jan-82 0848 JMC ekl problem
To: JK
I have been trying to use the new ekl to prove the associativity of append.
The axioms and declarations are in lispx.lsp[f81,jmc]. This file is redundant,
because it has both cons and an infix ~ that I am currently using for cons.
The proof as far as it goes is in lispx.ppr[f81,jmc]. I don't know how to
make the last step.
After you look, can I phone you?
∂08-Jan-82 0914 JMC
To: JK
I'll look.
∂08-Jan-82 1001 JMC
To: JJW
I'll be back to you. It will be some combination of the department
and overhead, but I'll have to talk to Golub.
∂08-Jan-82 1421 JMC funds for computing
To: JJW
∂08-Jan-82 1326 Gene Golub <CSD.GOLUB at SU-SCORE> funds for computing
Date: 8 Jan 1982 1321-PST
From: Gene Golub <CSD.GOLUB at SU-SCORE>
Subject: funds for computing
To: jmc at SU-AI
cc: bscott at SU-SCORE
We shall try to cover the computer costs from the residual IBM funds.
GENE
-------
∂08-Jan-82 1546 JMC Computer accts
To: JJW
∂08-Jan-82 1545 Susan Hill <CSD.HILL at SU-SCORE> Computer accts
Date: 8 Jan 1982 1539-PST
From: Susan Hill <CSD.HILL at SU-SCORE>
Subject: Computer accts
To: jmc at SU-AI
cc: csd.gotelli at SU-SCORE
Betty said something about your asking for permission for students in your
class to have computer accounts. How do you plan to handle this?
-------
∂09-Jan-82 0019 JMC lispx inelegances
To: JK
lispx.lsp[w82,jmc] is a source file, and lispx.ppr and lispx.prf are the others.
I wanted to get the sort information and the facts about append entirely
into a symbolic form. In order to do this I followed each line containing
such information by a LINENAMES that updated the line in question. It worked,
but there are the following inelegances.
1. I had to answer the question of whether I really meant it after
each use of LINENAMES for updating purposes, so there is a line containing
y after each such line.
2. SORTINFO has extra lines.
3. In the .ppr file, the command still comes out with some of the
numerical line number information instead of the purely symbolic information
that went in.
∂09-Jan-82 0020 JMC more on lispx
To: JK
It is elegant to be able to do the append proof essentially in one line.
I don't yet fully understand how it works, and I'll have to ask you some
questions.
∂09-Jan-82 0126 JMC
To: rwg at MIT-MC
Indeed!
∂09-Jan-82 0150 JMC more lispx
To: JK
I have added a definition of
flat(x,u) = if atom x then x.u else flat(car x,flat(cdr x, u))
but don't understand rewriting well enough yet to know how far I
can get toward
∀x u.listp flat(x,u)
in one ∀e step.
∂10-Jan-82 0044 JMC
To: JK
Is the following a bug? If not how do I get use an axiom ¬p to get
if p then a else b = b?
the proof BUG:
(DECL (P) |TRUTHVAL| CONSTANT)
(DECL (A B) |GROUND| CONSTANT)
(ASSUME |¬P|)
3. ¬P
ctxt: (1) deps: (3)
(TRW |IF P THEN A ELSE B| |*3*NIL|)
4. IF P THEN A ELSE B=IF P THEN A ELSE B
ctxt: (1 2) deps: (3)
(ASSUME |P|)
5. P
ctxt: (1) deps: (5)
(TRW |IF P THEN A ELSE B| |*5*NIL|)
6. IF P THEN A ELSE B=A
ctxt: (1 2) deps: (5)
∂10-Jan-82 0046 JMC
To: JK
∂09-Jan-82 0933 JK
∂09-Jan-82 0150 JMC more lispx
I have added a definition of
flat(x,u) = if atom x then x.u else flat(car x,flat(cdr x, u))
but don't understand rewriting well enough yet to know how far I
can get toward
∀x u.listp flat(x,u)
in one ∀e step.
------------
Assuming that ∀x u.sexp flat(x,u) is clear, one could just instantiate
a case of car induction for ∀u.listp flat(x,u)
and that should go in one step.
------------
∀x u.sexp flat(x,u) isn't clear, since that would also amount to the
termination of the program. Even so I don't see how it would be
used.
∂10-Jan-82 1735 JMC more flat
To: JK
CC: JJW
I now understand your proof of
∀x u.listp flat(x,u)
The next one Joe and I tried was
∀x u. flat(x,u) = flatten x * u
where
flatten x = if atom x then list x else flatten(car x) * flatten(cdr x)
The necessary definitions along with various junk (to be cleaned out)
are in lispx[w82,jmc].
We are still having difficulty in working out the technique of the new
rewrite modes, but I think it is worthwhile to debug our technique with
the present mode, even though I suspect another major change will be
wanted eventually. The present scheme is looking like a macro language,
and they usually need to be modified as they become more programmable.
∂10-Jan-82 2333 JMC
To: reid at SHASTA
BIOJMC[1,JMC] is a vita in PUB.
∂11-Jan-82 1834 JMC
To: csd.irmgild at SU-SCORE
Dr. Keith Clark
Department of Computing
Imperial College of Science and Technology
University of London
l80 Queen's Gate
London SW7 2BZ, England
∂11-Jan-82 2328 JMC bug?
To: JK
I don't know whether it's a bug or my misunderstanding, but I can't get
ekl to expand out x~nnil*v. The last line on p. 2 of lispx.lsp[w82,jmc]
is my attempt. I got it to expand flat and flatten with a simpler
mode, which I have been elaborating, but it goes no further.
∂12-Jan-82 0008 JMC
To: JK
Cancel previous message; I have got through my difficulty.
∂12-Jan-82 0135 JMC
To: JK
New bug
Step 47 in lispx.lsp[w82,jmc] or lispx.prf[w82,jmc] is produced by the
command below it. Step 51 above (not in lispx.prf) was produced by
the same command with $ in place of the &. The & was an attempt to
get it to expand flatten without again expanding flat. How is that
to be done? I want a mode that will use all applicable occurrences
of the line range referred to but won't expand the results of expansions.
Then I could expand all definitions in part of the formula with a
single reference to DEFINFO without danger of a loop.
The bug is that the term (x~y)~nil*u should be
(flatten(x)*flatten(y))*u.
∂12-Jan-82 1602 JMC proposal
To: JK
The proposal left Stanford Dec. 29. I got a postcard confirming its
reception from NSF. It has the proposal id no: MCS 8206565.
∂12-Jan-82 2134 JMC
To: ROY
Imlac conked out agin - won't load.
∂12-Jan-82 2150 JMC
To: RWW
I know of no way to relieve your nesslessness.
∂13-Jan-82 0259 JMC
To: ROY
It came back to life after temperature changes.
∂13-Jan-82 0323 JMC lisp axioms
To: YOM
My current version with working material removed is LISPAX.LSP[W82,JMC].
There are still a few changes to be made in order to maximize convenience.
∂13-Jan-82 1051 JMC
To: csd.walker at SU-SCORE
Yonatan Malachi was a high pass. Frank Yellin was a pass. Joe Weening
didn't pass but will take it again in late February.
∂13-Jan-82 1101 JMC
To: ef at MIT-AI
Alas, I can't take the time to go to the Information Mechanics Meeting.
∂13-Jan-82 1142 JMC
To: REG
∂13-Jan-82 1135 JJW SCORE account for Boyer-Moore system
I asked Lynn Gotelli for 60 aliquots, which is 3180 blocks
(Boyer said we need 3200), but she has told me that there are only
555 blocks left to be sold on SCORE. So I don't know how we will
be able to bring up the theorem-prover unless something is done to
free up disk space at SCORE.
∂13-Jan-82 1155 JMC
To: JJW
I'll start politicking.
∂13-Jan-82 1327 JMC system
To: ME
I have noticed that in the last few months, the load levels have been
somewhat lower, especially the residual load level when no-one is
doing anything. Is this a real change or just a change in the way
things are measured?
Formerly the load was (as I remember it) never beow .10, and now it
goes down to .04.
∂13-Jan-82 1417 JMC
To: FFL
Knuth, Donald E., DECIPERING A LINEAR CONGRUENTIAL ENCRYPTION, 1980. ONR
please have a copy of this sent to Whit Diffie
∂13-Jan-82 1440 JMC
To: JK
Thanks; you can expect at least a few to be my bugs.
∂13-Jan-82 1853 JMC proof done but could be improved
To: JK
lispx.ppr[w82,jmc] has the proof. The main parts are done in
single rewrites, but the loose ends are done separately. I would be
grateful if you would look at it from the point of view of style.
1. Can it be improved to reduce number of steps?
2. How should I change it as a model for CS258 students?
3. Does it suggest improvements to EKL?
In any case I plan to separate the proofs about flat from the
basic LISPX proof.
∂13-Jan-82 2136 JMC new bug
To: JK
The proof went through ok, but I decided to clean matters up by separating
the basic lisp axioms (now called lispax.lsp and lispax.prf) from the
definitions and proof peculiar to flat. The lispax part went ok and so
did flat up to the point when I did (pretty-proof flat flat).
(save-proofs flat) had worked ok. I got some kind of lisp error and then
tried (show) and got the error message you will find in flat.lsp[w82,jmc].
Running the proof again worked, but (show) failed again. In the previous
lispx context, I had no trouble with (pretty-proof).
Another subject: Part of the difficulty with proving the facts about
flat was that there is no direct way to use the premisses of an
implication in rewriting the conclusion. If you can figure out how
to make this possible, at least two of the proofs will be more
straightforward. In particular,
∀x y.(∀u.flat(x,u) = flatten(x)*u) ∧ (∀u.flat(y,u) =flatten(y)*u)
⊃ flat(x,flat(y,u)) = flat(x)*(flat(y)*u)
is obtainable as a valid formula in this way. Perhaps der could do
this or try this or let the user try it.
The proof of ∀x.listp(flatten x) would also be more straightforward
were this possible.
∂13-Jan-82 2156 JMC more on bug
To: JK
I tinkered with the file a bit more and changed the bug. I added the
command that proves ∀x u.listp flat(x,u), and this put another step
in the proof. Again the proof ran without difficulty and produced
the desired results. However, this time (save-proofs flat) got into
an apparently infinite loop.
∂14-Jan-82 1950 JMC improved lname
To: JJW
Could lname generate a (comment) line of the form (COMMENT LNAME foo baz)
so that .ppr files would have the line names attached to the axioms?
∂16-Jan-82 1705 JMC
To: RPG
Try to get LLNL to pay half.
∂16-Jan-82 2026 JMC
To: FFL
russel.3
∂17-Jan-82 2313 JMC your axioms
To: YOM
I have looked at them. In the main you have the right facts, but they
require many changes to make them suitable for ekl proofs. Mainly they
need to be put as much as possible in forms that can be used as rewrite
rules in which the left side is replaced by the right side. Those that
can be used indefinitely need to be separated from those that can't such
as recursive definitions and commutativity. Associative operations need
to be declared such. There are also some bugs, such as leaving out the
conclusion of the induction axiom.
∂18-Jan-82 1056 JMC
To: csd.hill at SU-SCORE
Gosper should still have a courtesy account, but probably of minimum
magnitude. Is this the minimum now, and if not, what are his quotas?
I don't imagine he uses anything but SAIL.
∂18-Jan-82 1110 JMC
To: reid at SHASTA, csd.schreiber at SU-SCORE,
csd.herriott at SU-SCORE
1. This course description ignores the existence of 156.
2. In my opinion, the description contains much
material, e.g. automata, formal languages and Turing machines, that
shouldn't be in a basic course. It is an obsolete carryover from the
time when computer science theory was an offshoot of mathematics.
It should be covered sketchily in advanced courses.
3. I won't vote for it as a math sciences option in its present form,
but its content is really more the business of the computer science
department than of the math. sciences committee.
∂18-Jan-82 1341 JMC
To: csd.hill at SU-SCORE
I'll find out something of what he's doing. There are other possibilities
for his disk. I'll be back to you.
∂18-Jan-82 1344 JMC
To: reid at SHASTA
Perhaps I was hasty. I don't think a week-by-week outline should be asked
of you, any more than from anyone else. I'll react further later.
∂18-Jan-82 1647 JMC
To: YOM
(DECL (*) |GROUND⊗ground*→GROUND| functional NIL INFIX 840 both)
∂18-Jan-82 2205 JMC
To: JJW
Many people already have used up some of the single character e macro names.
∂18-Jan-82 2332 JMC m and b
To: JJW
I have rewritten it and checked it with ekl. I'll show you the files
tomorrow.
∂19-Jan-82 1252 JMC
To: RDG
m and b is ready
∂19-Jan-82 1252 JMC
To: RDG
essentially ready
A partial message was sent by mistake. Here's the whole message.
I have declared *, i.e. append, to be associative, and this seems to
work fine; it makes one of the proofs go without special appeal to
associativity. I have advocated to Yoram that he declare + and times
to be associative also. However, it occurs to me that declaring them
associative may cause problems in using their commutativity. Suppose,
for example, that we want to prove a+b+c+a = a+a+b+c. If EKL doesn't
allow us to group the terms freely, then there will be difficulty in
using associativity. There will also be a problem in matching
subexpressions. It seems to me that allowing operators to be
declared associative is good and even necessary, but it imposes further
requirements on interactive theorem provers such as EKL. These seem to
include
1. Parts designators should be able to pick out segments, e.g. b*c
should be a part of a*b*c*d.
2. Matching the operator should try to match segments. It is important
here whether the null segment should be considered, and this depends
on the operator. Thus the matches of x*y*z against a*b*c*d are (nil nil a*b*c*d),
(nil a b*c*d), (nil a*b c*d), (nil a*b*c d), (nil a*b*c*d nil),
(a nil b*c*d), (a b c*d), (a b*c d), (a b*c*d nil), (a*b nil c*d),
(a*b c d), (a*b c*d nil), (a*b*c nil d), (a*b*c d nil), (a*b*c*d nil nil)
in the unrestricted case and the three without nil in the restricted case.
If an operator could be declared both commutative and associative, there
are many more considerations.
1. Ideally the expression should be represented internally by a multi-set
of arguments. Arbitrary sub multi-sets should be designatable and
matched.
2. Because the ideal becomes very expensive, the user needs to be able
to restrict the potential matches that will be examined. It will require
experience to determine what restrictions should be available.
∂19-Jan-82 1551 JMC paper
To: FFL
Please send Home terminal paper to
Harold Gilliam
1747 10th ave
SF 94122
∂19-Jan-82 1650 JMC
To: JK, JJW, YOM
A partial message was sent by mistake. Here's the whole message.
I have declared *, i.e. append, to be associative, and this seems to
work fine; it makes one of the proofs go without special appeal to
associativity. I have advocated to Yoram that he declare + and times
to be associative also. However, it occurs to me that declaring them
associative may cause problems in using their commutativity. Suppose,
for example, that we want to prove a+b+c+a = a+a+b+c. If EKL doesn't
allow us to group the terms freely, then there will be difficulty in
using associativity. There will also be a problem in matching
subexpressions. It seems to me that allowing operators to be
declared associative is good and even necessary, but it imposes further
requirements on interactive theorem provers such as EKL. These seem to
include
1. Parts designators should be able to pick out segments, e.g. b*c
should be a part of a*b*c*d.
2. Matching the operator should try to match segments. It is important
here whether the null segment should be considered, and this depends
on the operator. Thus the matches of x*y*z against a*b*c*d are (nil nil a*b*c*d),
(nil a b*c*d), (nil a*b c*d), (nil a*b*c d), (nil a*b*c*d nil),
(a nil b*c*d), (a b c*d), (a b*c d), (a b*c*d nil), (a*b nil c*d),
(a*b c d), (a*b c*d nil), (a*b*c nil d), (a*b*c d nil), (a*b*c*d nil nil)
in the unrestricted case and the three without nil in the restricted case.
If an operator could be declared both commutative and associative, there
are many more considerations.
1. Ideally the expression should be represented internally by a multi-set
of arguments. Arbitrary sub multi-sets should be designatable and
matched.
2. Because the ideal becomes very expensive, the user needs to be able
to restrict the potential matches that will be examined. It will require
experience to determine what restrictions should be available.
∂19-Jan-82 1654 JMC
To: JK
Aha. You're ahead of me.
∂20-Jan-82 1254 JMC organization meeting for Porto course
To: FFL
PROLOG[W82,JMC] is an announcement of Porto's course. It lacks a place
for the organization meeting. Please get a room for (say) 15 people
and add it to the announcement. It should be mailed to bulletin boards
at SAIL, SCORE and SRI-AI and PARC. Get Arthur or RPG to tell you how.
∂20-Jan-82 1357 JMC
To: RDG
See pages 4 and 5 of APE.LSP[W82,JMC].
∂20-Jan-82 1835 JMC
To: twe.hp-labs at UDEL
Course in logic programming and Prolog starting soon
Starting in the week of February 2 and continuing through the
quarter there will be a course in logic programming and the Prolog
language taught by Antonio Porto of the University of Lisbon. Logic
programming in general and Prolog and particular have attracted wide
interest in Europe but are only getting started in the U.S.
There will be an opportunity to use Prolog.
There will be an organization meeting to fix hours on Thursday,
January 28 at 3pm. Anyone interested who can't make the meeting or who has
questions should contact John McCarthy by telephone or net message.
∂20-Jan-82 2036 JMC
To: warren at SRI-AI
He'll arrive on the 26th.
∂21-Jan-82 0051 JMC Hurd title
To: csd.golub at SU-SCORE
Is it too late to get Dr. Hurd's former title correct. I'm sure it
wasn't "project manager", and I think it was something like "Director
of Data Processing".
∂21-Jan-82 2102 JMC
To: JJW
Ten it is.
∂21-Jan-82 2318 JMC
To: rem at MIT-MC
I have no special reason to suppose that I can be much help, but if you
would like to have dinner some evening and discuss your problems, I would
be glad to do it - perhaps early next week.
∂22-Jan-82 2034 JMC
To: katz.hp-labs at UDEL
The point of the organizational meeting is to set a time for the class.
As it happens, Porto won't arrive till the day after the organizational
meeting which will be held as announced. Therefore, all it can do is
set a time. It would be best for you to try to be represented.
∂22-Jan-82 2322 JMC
To: llw at S1-A
Congratulations on Lawrence award.
∂23-Jan-82 0055 JMC Umnov and Roth
To: TOB
Please look at UMNOV.NS[W82,JMC]. I think the statement by Bernie Roth that
we learned about robotics from the Russians is a total exaggeration, and the
statement that it is impractical to put restrictions on Umnov if he visits
is essentially false. I am thinking about a letter saying so either to the
Stanford Daily or the New York Times. This is is independent of the question
of whether such restrictions are desirable. What is your opinion?
∂23-Jan-82 0125 JMC
To: TOB
See also DAILY.7[LET,JMC] for a draft.
∂23-Jan-82 1104 JMC
To: TOB
Would you be willing to take part in a joint letter or even a press conference
dissenting from the official Stanford view? We might ask a few other people,
e.g. Cannon and deBra, but we'd do something even if they weren't inclined
to participate. I guess a letter is appropriate in any case and a press
conference if there are enough, say 4 or 5.
∂23-Jan-82 1801 JMC Gosper
To: CSD.HILL at SU-SCORE
CC: RWG at SU-AI
He should be reduced to the half-an-aliquot guest level.
He will move some files elsewhere.
∂23-Jan-82 1814 JMC running out of screeen while running out of E
To: RPG, ME
My experience in running out of E convinces me that our work would be
improved by the ability to display a lot more characters. No matter
how nicely they are arranged on the screen, there just aren't enough.
Would it be feasible, for experimental purposes, to make the E-system
interface convenient for someone who had two or even four datadiscs?
I think this is worth doing soon in spite of the current shortage of
datadisc channels, because it is relevant to the question of whether
having lots of characters is more important than having beautiful
characters. My conjecture is that having two or four low resolution
displays will prove more valuable than having a high resolution display
with the same number of pixels unless the high resolution display is large
enough so that just as many characters can be put up non-microscopically.
∂23-Jan-82 2316 JMC improved string search
To: cl.boyer at UTEXAS-20, cl.moore at UTEXAS-20
Here is an "improvement" on your string search whose correctness statement
might be difficult to formalize. The algorithm is essentially that given
in your book, except for a change in the initialization to avoid updating
the table for all letters of the alphabet. Each entry in the table includes
your (DELTA1 K) in its low order bits and an integer <search number> in its
high order bits. When we start a new search, we update the entries
corresponding to the letters in the pattern string but with a search number
one larger than that of the last search. We don't bother changing the
entries for letters that don't appear in the pattern string, because a
simple comparison when the letter is encountered in the text shows that
the entry is obsolete. Only when the search number threatens to overflow
the allocated field do we go through the entire table and restart with
search number 1.
Since I don't know the literature and couldn't find a reference to this
kind of searching in Knuth vols. 1-3, this may be an old idea.
Notice that stating the correctness and the efficiency of the algorithm
requires taking into account that the algorithm may be used many times.
∂24-Jan-82 0006 JMC
To: RWG
Should your situation change to need more disk here, it will be arranged.
∂24-Jan-82 0121 JMC flap about Soviet robotics visitor
To: llw at S1-A
Page 80 of \bboard at SU-AI contains an AP dispatch and commentary by
various people including me about Stanford declining to restrict a
Soviet visitor and the State Department cancelling the visit. I made
some speculation about the bureaucratic process. Can you (dis)confirm
them, and do you know more?
∂24-Jan-82 1752 JMC
To: JPM
What I know came from Ralph. Perhaps I should not have spoken to the reporter
at all given that fact, but I felt obliged to convince her (Alice Cuneo in case
you should have the misfortune to meet her) that the computer couldn't be used
to fire missiles or write checks. If someone offers $3.5 million for the
system in Margaret Jacks, the Department should accept.
∂24-Jan-82 2333 JMC
To: feigenbaum at SUMEX-AIM
∂23-Jan-82 HPM 24-Jan-82 JMC Secure robots
a021 0047 23 Jan 82
PM-Scientist, Bjt,580
Universities Rebuff State Department Restrictions on Soviet Visitor
STANFORD, Calif. (AP) - A widening dispute over the federal
government's attempt to extend anti-Soviet sanctions to academia has
lopped two universities from the itinerary of a Soviet scientist whose
specialty is robots.
Stanford University has been declared off-limits to Nikolay Umnov
because the school refused to honor State Department restrictions on
his visit. The university said it could not successfully police a
visit, and that to make the attempt would disrupt the free environment
needed for creative work to take place.
The University of Wisconsin followed Stanford's lead Friday, saying
it was an ''open institution.''
Wisconsin Asssociate Dean Camden A. Coberly and professor Ali A.
Seireg said they plan to withdraw their acceptance of Umnov's visit.
That move will reduce the scientist's itinerary to Auburn University
and Ohio State University.
But at Ohio State University, where Umnov was to spend six weeks,
professor Robert B. McGhee said Umnov would be ''welcome for two or
three days. I'd accept restrictions for a visit of that length, but
not any longer.''
Umnov has been caught in a dispute over what visiting Soviet
scientists can see and do during a three-month scientific exchange
program that is sponsored by the National Academy of Sciences and
funded by the U.S. government.
As part of the Reagan administration's attempt to restrict Soviet
access to U.S. technology, the State Department said Umnov couldn't
see anything not already published in open literature.
It also said he should be restricted to mechanical theory of robotic
locomotion, with no industrial visits and no access to control units
or computer programming techniques that have given robots new
flexibility and made them more useful in the workplace.
The measures are justified because the government is paying for the
visit, said Sue Pittman, a State Department spokeswoman. She also
cited ''possible technology transfer risks,'' an administration term
for thefts or leaks of U.S. scientific secrets.
The restrictions reached universities hosting Soviet scholars via
letters from the national academy. As criticism of the restrictions
mounted, the NAS on Tuesday halted distribution of the letters.
The restrictions are ''absurd,'' according to Bernard Roth, a
professor in Stanford's Department of Mechanical Engineeering.
''Guys in the U.S. who know something about it (robotics) learned
from the Russians,'' he said. Potential military applications are
''very small. ... I don't think anyone will win a war on the basis of
those machines. It's certainly not of critical national interest.''
He added that nothing is being done in the field that the Soviets
''either don't already know or can easily figure out for themselves.''
In refusing to honor the restrictions, Stanford Vice-Provost Gerald
J. Liberman said, ''We believe the best interests of American science
and technology are served by open exchanges of university research
activities.''
He said in a letter to the NAS, ''The campus is completely open; and
the thousands of visiting scholars to campus each year have free
access to any of the university's programs. Even if we had the means
to monitor or police the activities of visitors, such actions would
drastically disrupt the academic environment which is essential in
fostering creative research endeavors.''
Attempts to restrict visiting scientists are not new, and last
February Stanford President Donald Kennedy expressed ''grave concern''
over federal attempts to apply export controls to academic teaching
and research. He was joined in writing protests to the secretaries of
state, defense and commerce by presidents Marvin L. Goldberger of the
California Institute of Technology, Paul E. Gray of MIT, Frank H.T.
Rhodes of Cornell and David S. Saxon of the University of California.
Kennedy told the faculty senate earlier this month the universities
had done ''sporadic negotiating'' with some agencies and had had
''skirmishes'' with others.
ap-ny-01-23 0346EST
***************
kjk - Question foR the robotics people: isn't Umnov in robot locomotion?
Aren't the Russians significantly ahead of us in locomotion?
What are the expected gains from RuSsian→US technology transfer vs.
US→USSR?
In other words, do we stand to gain more than Russia from Umnov's
visit; If so, a letper tk the State Department Informing them that they
are applying an import restriction pather than an export restriction
may be in order.
A bried review of the status of known RuSsian work in roboticq might
be useful for clarifying the tra`eoffs. Is anyone here willing to do that?
Lest people get the wrong impression--I'm opposed to applying
export restrictions to academic work. I think the State Dept is wedged.
However, a specific instance of the loss we incur from these restrictions
may do more than a thousand pages of moral, ethical, and philosphical
argument.
TAW - If the US Gov't doesn't want Umnov to know anything about
state-of-the-art robotics, why are they letting him in?? That seems
to be the way to handle these things, as opposed to making every
US technologist in a sensitive field take Diplomacy courses.
JMC - I think that both Roth and Lieberman have made misstatements in
order to make their case stronger. In my knowledge and Tom Binford's,
the Russians are mainly behind us in robotics. Only in walking machines
have they done anything substantial. Of course, they are very secretive
about what they do, and before they receive any visitor at an institute,
they determine what he may and may not be shown and what may be discussed.
Many institutes are secret and known only by Post Office Box numbers within
the country. When people from one such institute (the Institute of Applied
Mathematics in Moscow) wanted to talk with me in 1965, they pretended to
be from a different institute. Only later, when that institute wanted to
buy an American computer, did its existence emerge from secrecy; I never
got to visit it.
My attempts to collaborate with Ershov on MTC broke down mainly because
it was illegal for him to put scientific information in a letter except
by sending published documents. It is illegal for a Russian to give a
foreigner written scientific information except in the form of published
books or papers. In the 1960s, these rules were often bent, but exceptions
have been few since then.
Roth is also wrong in saying that robotics has no
military applications. Lieberman's statement
''We believe the best interests of American science
and technology are served by open exchanges of university research
activities.'' contains the assumption that putting no restrictions
on Umnov would achieve that result.
Finally, the statement that restrictions are impractical and would
disrupt the University is phoney. A visitor's schedule is made by
the University's "Office of Foreign Visitors", and nothing is easier
than leaving something off the schedule and notifying the Principal
Investigators of a few DoD sponsored projects that this has been done.
It doesn't prevent someone who wants to from telling all in the coffee
shop, but it would probably satisfy the State Department and have a
high probability of accomplishing what they want.
It is often argued that the Soviets can get all the information they
want by monitoring the literature. It isn't easy to tell to what
extent this is true. Certainly they are often behind in many areas,
and in many areas of computer science, their work is derivative - e.g.
putting on a Soviet computer systems done earlier in the U.S. Of course,
there is the possibility that derivative work is all we hear about.
Overall, it seems that restrictions have important but random effects.
Of course, the restrictions the Soviets place on travel by their own
people are far more effective than our restrictions, but the effects
are additive.
Stanford is imposing restrictions on access to information, because the
Center for Integrated Systems will give special access to the companies
that are paying for it. Even the Computer Forum gives special access to
its members. The CIS has been agonizing for the better part of a year
about how best to give privileges to the 12 companies.
All the above constitutes criticism of the misstatements by Roth and
Lieberman. There still remains the question of whether the particular
action of the State Department is reasonable. If I had to make a
decision myself, I'd want more information about what the Russians do,
how open they have been, and what the military applications are.
On the basis of my experience and the information contained in the
article, the State Department position seems a reasonable compromise.
In contrast to this, Stanford seems to be taking an absolutist position,
and its spokesmen are inventing facts to fit the desired conclusions.
Perhaps the position is a leftover from the 1960s.
Apart from cost-benefit considerations, there is a political issue.
The AP story will be summarized in the Soviet press
as follows: "In spite of the efforts of
the mad dog Reagan to whip up anti-Soviet hysteria over the false
issue of Poland, American scientists realize the leading role of
the Soviet Union in robotics as in other fields. They know the
Polish issue is false". For more restricted circles,
the assurance may be offered that Comrade Umnov is politically
mature and will make certain that he gets more than he gives.
Should anyone wish to be actually constructive about exchanges
with the Soviet Union, I would suggest the following:
1. Form an estimate of what the Russians are doing in certain fields,
e.g. robotics or computer science generally. Make a guess as to where
they are being open and where they are being secretive. The CIA, which
works for us you know, could be asked to help; it interviews many
emigrants from the Soviet Union and has other sources of information.
2. If we decide there is something we want to know or institutions we
think we would like to visit, the State Department or the National
Academy of Sciences can bargain on our behalf. Their bargaining will
be more effective if they get our co-operation. Our problem will be
that very few scientists will find the Soviet Union interesting enough
for long visits.
Maybe it isn't worth the trouble, however. Perhaps the effort
would be better spent on deciding what open Japanese publications to
translate.
Comments on the comments: KJK wants to be sure people won't get him
wrong. Let it be recorded that his views are orthodox.
TAW wants to know why the Government lets Umnov in at all if they want to
restrict what he learns. Often the Defense Department wants to restrict
a Soviet visitors or argues against letting him in. The
present case has the earmarks of one where the Defense Department opposed
the visit, and the State Department got a compromise. The State Department is
in the business of making agreements and generally prefers admitting them.
However, the State Department is often more aware than others of
bargaining considerations. For example, Americans were able to visit
Novosibirsk before any other foreigners including Soviet satellites in the
1960s while it was still a closed city, because the State Department had
mapped it on Pittsburgh and wouldn't let Soviets visit Pittsburgh until
Americans visited Novosibirsk. The National Academy of Sciences likes
exchanges. Individual American scientists like visits and don't much care
if the exchange is very uneven. In fact, I have found it good for the ego
to be on the informative side of such conversations. Only later do I
notice that I have learned almost nothing.
JMC - There is one consideration in favor of accepting grossly uneven
"exchanges" of information. Our openness and even naivete has a
psychological effect on Russians. There is some hope that it makes our
society look better, and some people believe this strongly. However,
emigres and dissidents who have come to dislike Soviet society are
very vehement against Western naivete. On balance, I'd bet that it's
to our disadvantage to look like suckers.
∂25-Jan-82 0201 JMC
To: LLW at SU-AI
Your remarks have been interpolated.
∂25-Jan-82 0548 JMC
To: ARK
CC: YOM
∂25-Jan-82 0300 ARK Yoram Moses request advisor change
∂25-Jan-82 0246 YOM Advisor
Hi Arthur!
Please change the listing of my advisor from Floyd to McCarthy.
Thanks, Yoram.
ARK - Is this OK with you?
JMC - Yes.
∂25-Jan-82 2120 JMC
To: ARK
ok
∂26-Jan-82 1034 JMC
To: FFL
Thanks Fran. Professor McCarthy has no further comment.
∂26-Jan-82 1309 JMC
To: atp.bledsoe at UTEXAS-20
I think we should write separate letters and will write mine.
∂27-Jan-82 1521 JMC
To: DCO at SU-AI
Please update your directory entry or plan to give present co-ordinates.
∂27-Jan-82 1526 JMC
To: llw at S1-A
Lowell:
I believe the people supported under that contract now mainly work
for LLL. What would be the possibility of either waiving that report or
getting the Livermore contract people to accept a one page report? Otherwise,
you could lend us Jeff for a few weeks.
John
∂25-Jan-82 1323 Betty Scott <CSD.BSCOTT at SU-SCORE> LLLContract 9628303
Date: 25 Jan 1982 1316-PST
From: Betty Scott <CSD.BSCOTT at SU-SCORE>
Subject: LLLContract 9628303
To: JMC at SU-AI, CSL.FB at SU-SCORE, CSL.JLH at SU-SCORE
cc: CSD.BScott at SU-SCORE
Proposal Entitled: "An Operating System and Memory Switch for the S-1
Computer," John McCarthy, P.I.
A final report on this contract was apparently due at the end of
December, 1979. It is difficult for me to determine whether John
McCarthy was actively engaged in the research, or whether Forest Baskett
and John Hennessy performed most of the research. Anyway, I am sending
each of you a copy of the proposal. The performance period was January 1,
1978, through December 31, 1979, and the funding totaled $304,472.
A final payment of approximately $3,500 is due Stanford from LLL, and they
won't pay until the report is submitted--15 copies of it. If the report
is not submitted LLL could conceivably disallow the entire contract,
leaving us holding a $304K "bag."
Would you please let me have a final report just as soon as possible. I
will have it duplicated and sent.
Thanks very much,
Betty
P.S. The LLL delay in notifying us of the above is apparently due to their
inability to locate their paperwork until recently--after hiring some
consultants to get their files in order. -- Thanks again.
-------
∂27-Jan-82 1816 JMC
To: jonl at MIT-MC
I didn't get your "Two little ...
∂29-Jan-82 1532 JMC
To: morris at PARC-MAXC
Just come to the course which will be Mon and Wed at 11 in Room 301 Margaret Jacks
Hall.
∂29-Jan-82 1533 JMC
To: oppen at PARC-MAXC
Well, I see you're still keeping your PARC location secret.
∂29-Jan-82 1535 JMC
To: BCM
mrc:<prolog>prolog at SCORE is the command.
∂29-Jan-82 1536 JMC
To: mccall at PARC-MAXC
Monday and Wed at 11 in 301 mjh.
∂29-Jan-82 1546 JMC
To: RPG
I don't know Arthur Norman, and I'm not inclined to give Denne an
account to be come acquainted with LISP and SAIL. If it were something
that exists here uniquely like EKL, I would do it, but there
are LISPs and Algol-like languages in England and presumably at
Cambridge, and the differences aren't worth fussing about.
∂29-Jan-82 2144 JMC
To: BCM
It has been removed from the disk; watch for its return.
∂29-Jan-82 2150 JMC report and next friday
To: LLW at SU-AI
I plan to spend next Friday at LLL and will try to catch Jeff and write
something then.
∂29-Jan-82 2207 JMC
To: SGF
Are you in a position to get your own terminal yet?
∂30-Jan-82 0032 JMC report to LLL
To: csd.scott at SU-SCORE
Well, it seems we have to do something, but one or two pages may do it,
and I'm going to Livermore next Friday anyway. Can you send me a list of
who was paid by the contract, so I can report what they did?
∂30-Jan-82 1711 JMC Antonio Porto
To: csd.hill at SU-SCORE
I have created a SAIL login for him AP. It should have one aliquot
and be charged to my ARPA. If he comes to see you about a SCORE
account, an aliquot can be charged also. He is a visiting scholar
from Portugal and will be teaching a course in Prolog.
∂30-Jan-82 2040 JMC
To: YOM
What progress are you making with your axioms for natural numbers?
∂30-Jan-82 2041 JMC
To: RJA
What are you up to these days?
¬
∂31-Jan-82 1146 JMC
To: CLT
no problem
∂31-Jan-82 1722 JMC
To: feigenbaum at SUMEX-AIM
Do you think the following is ok for presentation to Lieberman along with
the AP story and the Stanford press release. In particular, can you
support it?
FACULTY STATEMENT ON SOVIET VISITORS
We are distressed by the situation described in the attached
Associated Press story. It gives the impression that Stanford takes an
attitqde of total opposition towards the Government's efforts to restpict
technology transfeR to the Soviet Union. Moreover, this attitude seems to
be supported by a number of untrue statements, Namely (1) The Soviets are
ahea` of the U.S. in robotics. (2) Robotics has no military applications.
(3) There are no possible restrictions on Soviet visitors that won't
αdisrupt the functioning of the UniveRsity. We are further distressed that
that when the Soviet Aonsulate in SAn Francisco reported on the situation
to Moscow, this report probably re-inforced the idea in Moscow that
αAmerican protests about Poland and Afghanistan were a governmental sham
without Any support in the institutions of the country such as
universities.
We believe that Stafford should adopt a policy tkward SoViet
visitors that balances the follkwing coNsiderations:¬
1. Presepving the orderly functioningof the academiC processes of
reseArch, publication and teachingand avoiding the creation of a secUriti
atmosphere.
2. Showing the viSitors a sOciety mobe opeN than theip own.
3. Minimizing↓ieC]MMKdA=H β7Lc'Sπ⊗K3eβ/≠↔≠WbβS↔∂Fs?3??IβO=ε EβSxh+''vK7'k*β?WI∧{←9β&+≠↔;≡)β∂?∨#Emβε+C#π¬→β←∃ε≠π9βF+3Aβ}∪['π&)βS#*β;↔↔"β≠?Iελ4+K/#WK9π#=βSF)β∪K∞3Q9↓¬;πgMε{⊃β'oβ3↔7.sS';8βS#'~β←'SF{WQβ≡+∂WKO#eβ7. OWK/_4+;.+⊃βO'+∪e8hP4(%"qα';∨∪↔πOLs≥βK.≠'CK}≠'Se¬≠=βSF Qβπ≡≠↔OMπ#=αO␈3'↔Qπ∪↔O↔∂∪∂ 4T∪↔∂?n+Mβπ6 '3π⊗c∃βSzαπ7↔⊗K∂π;~βS-β&C∃βO∞k∃β↔G#↔;Q¬##πQε{WIβ⊗+Oππ⊗≠ 4+∞≠S'[O#'↔Mε K∃β∞≠∂↔O≡K 3∃π#=βSF+5)↓¬##'MεK;[?g3↔Mβ≡{7∃β&+∨K↔*β?→β∨+CC?↔ 4+SzβS#∃ε∪πK∨∞K;';:β↔≠≠␈∪SMβ}qβ?W∩β ↔#∞c→β∂}s∪W∂&+⊃β JβS#∃¬≠SπS*α∪↔C∂∪S7↔w 4+πv!βS#*α;πSN{;π1∧ ∂π∪.keβ?2αO∂'.s∂↔Mph(4(K)9α7∞K;SπNs';≥ε;??⊃¬∪↔3π&K?;Mπ;'S!π##∃α∨#πS∃∧#↔Cπ↔#7↔;"aβS#(h*∪↔6+;O∃∧#↔Cπ↔#7↔;"βπ;⊃ε{S#↔∩α∨?[/∪;7↔w!βπ∨.s∂'↔~p4(∀PJO';≡)βS#/≠∃β∨} 3Mβ∂∪∃β;␈!β↔;&KK↔3Jβ∂=7Ns∂'∪.sQ1β≡{7∃β&+∨K↔*β?_4V≠?7C⊗{7'O*β'Mβv+↔∪↔"p4(4PJ←∃β∨+∨∨↔∨!βS#∂!β¬β≡{77''#↔∃β⊗)βπCε{';S.!βS=ε#↔[↔f{A⬬β?3'∨I9↓αN04+πrβ';S/∪'5β∨#πS↔n+;Qβ≡cπK'7K';≥π##∃βLkCK↔∨≠'?9ε;'[↔rβ eβ&C∃αO& ;≠?⊗!βCK/≠L4+⊗+3↔π≡)β∂?.c⊃β *β7π∪*aβ'Qεk'∨#"β#↔3αβ7'SN;πS∃π##∃β.s≠?K'+;πS*βO'∨v 1βSF P4+F Mβ .+9βO.sQβSzα7?O≡{]84Ph(0=M
j+π9kAI↓↓ 9IP&Tj
↓hRS=iα↓β33:βπQα≠ 6¬hRg?Uεkπeβ⊗)β';&+K↔O&+⊃βSF QβO}k∃β≠∞≠W3SJβπK∃εk↔↔SNs≥β←O#!α3N+ ↔Kn 9β?ph+S#*βOW V+∂Q↓FC∃β∪}+O9∨"β←π;"βWMβ&yβ∨↔"βS#∃π;K?;:β'7C⊗+OO'}q%9↓¬##∃β4{33?>K;≤4VKMβ7JβπSS.kCQβ&yβ ∃ε#'C3}kπS'~p4(∀T2ε∞Ve"eαN$
R⊗6,rQα>pαN>ZL*QαZM~&R>∃_4(4PJ←∃β∂∪∃β∪O≠SK↔∨≠↔⊃β↔IβS#*βO'S. S'?rβ∪↔O∨∪' ↔"β'9β&C∃βπ'#π∂#. 4*π≥≠?∂'∂#↔⊃απ∪↔OMπ≠S?KJq↓α'"β∨'[/→βS#*β'7C⊗+OO'}qβS#∂!αOS∞s≠?K"βSπ//→βπ8hSπSSO#W∪∃ε{⊃βS␈#π1β␈βC?OO#'?9π#?←π⊗#MβSF)α∨?6+K;7.sQ∨Mε+≠≠?↔#MβSzβK↔O'∪'∂PhSS↔∂Fs?3??IβSK∞sO≠↔∩βS=β&C∃αO␈3'↔Q¬+;'?rq↓α7⎇∪↔?[/⊃1βSFKMβπ'#'SW&)βO↔.kMβSxh+ ∃π≠WCC␈∪S↔⊃ε∪eβ¬εsW7 /⊃β?→π+;SK.)βOS∂#↔7↔w#M1βv 7↔3J↓!E%¬##∃α≡{['↔'→βπK(h+π#. ⊃β?2βS#∃¬):M9εK9βK}∪?S'∨→9↓↓C⊃%αK}∪?S'∨→β#π~β;=βnK3'S∂∪eβππβ3'∂∂#'?;~p4)!~IαS#/∪∃βπ⊗)β;=πβ?OON∪3∃β⊗+OSKN≠S'?w→β?9¬≠?['/!β['≡KS?K~βS#π"β←?9? 4+∪O≠KWC"βS#∃ε3W;∂&K?;'v9β?→π##∃α.s'[↔↔≠'Ser↓α←∃ε K∃β7+KS#/⊃β∪'∨#K↔O≡+⊃βSF P4+&CπQβ>C↔9β&C∃αO␈3'↔Q∧≠?;O.cπS∃εK9αO∞qα≠K∞s∂'O≡yβK↔ε{KS↔"β?9β&C∃βOO#WπSN{84+&yα7?≡≠?]1π##'Mπ∪↔C?↔!βCK}∪π 3JβK∃7Ns≠?K≡+⊃βSF)β'∪. β'9∧k?O∂␈9βS#∂ 4*πn+K'∂∞qβCK␈#↔OS~βπ ?/!αC?f ;⊃β∞s⊃απ6;#π;O≠Sπ9π;↔K∃ε β∨?6+K;7.sSπ1π≠#π4hS←'SF{WQβ∞seβO/βC?K"β'9β&C∃β'w≠S'S/#'?;~β?→β&C∃β∂␈+;SKJβOW∂BβπL4W+;'[/∪O'SN+M84Ph(&←*β ↔3N+[∃β&CπQα∨#π;≠␈∪⊃βOF{W3⊃ε ∪?C"β¬βC}c'∂eπ#?←π⊗!αO?6K↔P4W3'O'&{KMβ&CπQβ⊗ 3π;≡+MβSF)β≠?fc?←'v9β∂?w≠'∪↔⊗ S'?w→h4(hP%E9¬βK↔O/∪[';:βS#∃ε{K∪↔⊗ceβ≠.s∂S'}s';≥ε{→βSF)βπ∂∞#↔7'~βCK?≡+OO↔~β?_4W∪↔O↔∂∪∂!1πβW 3N≠πS'}qβπ;"βS↔π≡C';≥ε ;⊃β∂3?'∪Ns≥βSF)β∂K. S'?rβ?→β
βO↔∂/∪'SdhSπS7␈≠C#↔⊗)84(hP%I9¬≠#?←Ns≥βSF)β['≡KS?K~β¬βO}≠'↔SJβ7?K*β?C↔rβS#πrβS#↔O⊃β?←rp4(4PIM9αnK;'7OS';≥π#Kπ;≡3↔Iβ}1β7'fKSπKNceβW≡+≠W1π#↔∂#v{3?∨JβO=β∂→βS<hS7';Nk'k∃ε{WIβ␈;9β∪.3↔;O*β∂?O'→mβC/∪#πC~β←∃β≡ 9β#.cAβ?↔3'πS*βS#∃εs↔↔⊃ε3?Iβλh+K↔'+K9β&yβS#*β∪Kπ7!9↓α> gMβ}1β'7εc↔7↔w#';≥π##'Mπ;'S#␈+QβO.≠WK''Iβ7↔∂≠WK↔_h+;↔.!βOS.#e84Ph(%Qrα';∂⊗+πO'v9βK↔≡KCK?≡KSeβ≡yβS#∂!βπ∂≡+OMβ&yαO?6K↔Qβ⊗+O↔π⊗≠ 4+⊗+∂?7/→βπ[∞K3π f)βS=∧ 7↔KN≠π;Mπ#=βSF)βOπn)β↔c&+;Qβ&CπQβ␈+IβK/≠↔πK≡@4+π∨#'['&K↔Mβ∂∪∃βπ≡≠↔OON∪3∃β&yβS#.i9↓α&C'MβNs[?36+MβO}k∃β∪.;K↔∃ε{⊃βO/βC?K h+S=π##∃β⊗ K∨πNs';≥ε+≠≠?↔#Mβ?rβ?WI∧∪↔#πf1β∂?v#W∂S.!β eπ##∃α∨#πS∃∧#↔Cπ↔#7↔; h+π;"βS#∃∧sπS'}sπ1α∞≠πβ↔oIβ?→¬≠∂'↔v≠↔M8hP4(%*qα7πNsSπ'vK;≥β>{?⊃β⊗+3πSN{;Mβ>KS!β&C∃αO& S∃α&+CπK&k↔;QbβS#∀hR∪↔≠.sO∃α&+CπK&k↔;Q∧ ;⊃β␈##↔I∧;?[↔⊗s7↔≠"βπ∨↔v≠'↔Mph(4(M≠';∂*βS#↔≡)β∨?∞cMβπ⊗)β;?entirely co-incident, some degree of
compromise is needed.
We suggest that a committee be appointed to develop a policy. If
an interim statement clarifying the impression given by the Stanford press
release could be made, it might help mitigate the unfortunate signal that
has been sent to Moscow.
∂31-Jan-82 1925 JMC
To: TOB
The current version of the statement is page 3 of STATE[W82,JMC].
∂31-Jan-82 1952 JMC
To: FFL
Please scribe STATE[F82,JMC] after centering the title, etc.
∂01-Feb-82 2320 JMC
To: INGALLS at PARC-MAXC
Nothing was distributed. I don't know how the department feels about
free loaders. The instructor, Antonio Porto, is AP@SU-AI.
λ∞`B5
KDZ`d@@dβ→IH→)T
α↓Q%&{$∧αε∞M]⊗rv↑,2ε∂D
5*M89u∀
↓Q$F/,Tε∂⊗Tλ
(→P∀[2yP 4hat @MQWkYα!β ∃¬βWQβ|¬bπ& Tε&O=0 D∧⊂πf"∀)'f'QP9t7]v2⊂ "e the
fi@1JACGα≠↔OO,∧Bε∂4
πε}M|rbα
Mε/⊗T ↔⊗*∞Nvzε=x
≤αyP'Yα each fi@1JA←\↓iQJAQCaJ~)Q`↔O βS-β⊗)βOW⊗)8 (!Q"@lλλ@-Feb-_2 "∪12∪ ¬mSHA]CeeK8@q/βI%β≤A¬hA'∀I6ε%r&Cπαλ $ ~<u
≥Yh∩.Ny;⊂∪λ⊂⊂εE⊃0z2]λ⊂_P#→q⊂⊂@982 "β9IQ6¬~P$
4ε&}k$λF∂6≤@¬ <<XY-d∂∃p**Q3@ ≡λ∀tI∃α`d←βE)zq~2qz≥λ*0x % Listing Itsel@_~∃)↑hA∃≠ε↓ChA'T[β∩~(~∀4T"V6B-⊃βCπ∧)↓
↓λa↓β∪}≠W7↔w#πS'}q1α7|¬f&∂∃Dαβ
XhV∩kε β ∪G⊃PRα∧∧αε6≥HRαα∧∧ααα∧∧ααα∧∧ααα∧∧ααα∧∧ααα∧∧ααα∧∧ααα∧∧ααα∧∧ααα∧∧αεf≡:Bπ?-≡F*α∧∧ααα∧∧απ≡∨,RαG ≤v/~∀∧ααα∧∧αε≡ \6O∨]QPPh!Q"αα∧∧βe¬)yD|;j(T "iXRc∩∧∧ααα∧∧ααα∧∧ααα∧∧ααα∧∧ααα∧∧ααα∧∧ααα∧∧β ∩Y.Vbkε⊂β∪βFTααα∧∧βλh$∧αααπJ¬∀|Ixsu¬)yD|:hIt~s∀∧ααα∧∧ααα∧∧ααα∧∧ααα∧∧ααα∧∧ααα∧∧αααε⊗"lW]ESC
ε&β≠:∧∧αααεWhR∧∧ααβJ
$|dxwd=,_HS~tXYRs
∧∧ααα∧∧ααα∧∧ααα∧∧ααα∧∧ααα∧∧ααα∧∧ααβ⊗%TW.EWβ
β&ε32α∧∧ααβ6aPRα∧∧αβe
)td|whD,∃Xudl,Uf∩αα∧∧ααα∧∧ααα∧∧ααα∧∧ααα∧∧ααα∧∧ααα∧∧αβ %Y'.bWε∩β∪ε6bαα∧∧αβ∪!Q"αα∧∧βe¬)yD|;j
$|dxudDe¬f∩αα∧∧ααα∧∧ααα∧∧ααα∧∧ααα∧∧ααα∧∧ααα∧∧β ∩Y.Vbkε∀β∪β7∀ααα∧∧βλh$∧αααπJ¬∀|Ixsu%ZIu∀JiJ¬"s∀∧ααα∧∧ααα∧∧ααα∧∧ααα∧∧ααα∧∧ααα∧∧αααε⊗"lW]ESC
ε&β#*∧∧αααπ↓PRα∧∧αβe
)td|wjE-$z)∩u∧Ef∩αα∧∧ααα∧∧ααα∧∧ααα∧∧ααα∧∧ααα∧∧ααα∧∧αβ %Y'.bWε∩β∪εFRαα∧∧αβ_Q!PT%YZ∧-∩∞L↔ε*∧4β
b∧
vf'∞-vf}uD∧n}lL↔Jb∧ε∩l6\%SC∩ε⊗c+Q$ααα∧ fNfT∧ααα∧∧ααα∧∧ααα∧∧ααα∧∧ααα∧∧ααα∧∧ααα∧∧ααα∧∧ααα∧∧ααα∧
F∂∨D∞w⊗OLTααα∧∧ααα∧∞6OVT¬πε∞|↑2Jα∧∧ααα∧ 6F.=>7.hQ!PPh$∧αααπJt
∃(Ycu¬)yD|:h[∧*s&dααα∧∧ααα∧∧ααα∧∧ααα∧∧ααα∧∧ααα∧∧αααε6∩l}>ESC
ε⊗β+α∧∧αααε⊗∪@h!Q$%,ZλU∩πL≡ε*α4ε∩bα
lW?π-⎇F}:D V}vL∨∩bαε∃T6.%Wβ∩β⊗fSλh$∧ααα m⊗f*∧∧ααα∧∧ααα∧∧ααα∧∧ααα∧∧ααα∧∧ααα∧∧ααα∧∧ααα∧∧ααα∧∧ααα
L↔∨"∞}&O&T∧ααα∧∧ααα∞=↔V*¬∞ε∞>↑5∩αα∧∧ααα =ε.≡>>Vhh!Q hR∧∧ααβJ
$|dxwe¬∀yIt:t[λRs
∧∧ααα∧∧ααα∧∧ααα∧∧ααα∧∧ααα∧∧ααα∧∧ααβ⊗%TW.EWβ
β&ε3:α∧∧ααβ⊗⊗PhR∧∧ααβJ
$|dxwe¬∀yIt:t[λRs∪d∧ααα∧∧ααα∧∧ααα∧∧ααα∧∧ααα∧∧ααα∧∧ααβ⊗eT&.5Wβ
βπ⊗βBα∧∧ααβ⊗⊗`hR∧∧ααβJ
$|dxwe¬∀yIt:t[λRs∪∧∧ααα∧∧ααα∧∧ααα∧∧ααα∧∧ααα∧∧ααα∧∧ααβ&∃T&.5Wβ
β⊗f∪*α∧∧ααβ⊗⊗`hPQ(E,mλZ"π&≡ Rα~ε∃BαεM|7.n]nF∂&≥⎇c
b ]vv&∨∃Bαβ∃Xf.∩Wε"β fV hR∧∧ααεm≥F*α∧∧ααα∧∧ααα∧∧ααα∧∧ααα∧∧ααα∧∧ααα∧∧ααα∧∧ααα∧∧ααα∧∧ααεL≡7"π}-↔&*∧∧ααα∧∧ααπ=∨&*α∞ ⊗>/5∀ααα∧∧ααε= V≡←>]PhPQ!PRα∧∧αβe
)td|wj$, EiT*s$∧ααα∧∧ααα∧∧ααα∧∧ααα∧∧ααα∧∧ααα∧∧ααα∧∧αβ %Y'.bWε∩β∪εFRαα∧∧αβλQ$ααα∧πE¬∀yIt;u
)td|uhD|~f∀ααα∧∧ααα∧∧ααα∧∧ααα∧∧ααα∧∧ααα∧∧ααα∧ε∪∩l.]BkC∀ε#β≠t∧ααα∧εS@h$∧αααπJ¬∀|Ixst=Y_D+~iXTjs∀∧ααα∧∧ααα∧∧ααα∧∧ααα∧∧ααα∧∧ααα∧∧αααε⊗"lW]ESC
ε&β≠2∧∧αααε6`hR∧∧ααβJ
$|dxwd$,*XrtlYUc
α∧∧ααα∧∧ααα∧∧ααα∧∧ααα∧∧ααα∧∧ααα∧∧ααβ⊗%TW.EWβ
β&ε32α∧∧ααβ&!PRα∧∧αβe
)td|wj¬∀|IxrtDJ¬c
α∧∧ααα∧∧ααα∧∧ααα∧∧ααα∧∧ααα∧∧ααα∧∧αβ %Y'.bWε∩β∪ε7∩αα∧∧αβλQ$ααα∧πE¬∀yIt;uJZD⎇∀∃iE¬"f∀ααα∧∧ααα∧∧ααα∧∧ααα∧∧ααα∧∧ααα∧∧ααα∧ε∪∩l.]BkC∀ε#β#T∧ααα∧πhR∧∧ααβJ
$|Dxwe%-Iz$JU Ec
α∧∧ααα∧∧ααα∧∧ααα∧∧ααα∧∧ααα∧∧ααα∧∧ααβ⊗%TW.EWβ
β&εC*α∧∧ααβ1Q hTJYU∧-$∞F∂εT∧2β
D∧ε}fN
&}f|v∩b∧]yf&∂∃Dαβ
XlV∩kε$β 3V!PRα∧∧αε6≥LRαα∧∧ααα∧∧ααα∧∧ααα∧∧ααα∧∧ααα∧∧ααα∧∧ααα∧∧ααα∧∧ααα∧∧αεf≡:Bπ?-≡F*α∧∧ααα∧∧απ≡∨,RαG ≤v/~∀∧ααα∧∧αε≡ \6O∨]QPPh!Q"αα∧∧βe<~*$,sj
$|Dxqd-DUf# $λλλ∧∧λλλ∧∧λλλ∧∧λλλ∧∧λλλ∧∧λλλ∧∧λλλε6+3xnE. (ε⊗
,λ∧∧λλλε⊗.β"AQQ∃3*λ4H∃ ≡→(λdε+λλ
l=|⊂→≠v7sHK⊂&w`.day, 1-FEb-82 1253
filE last write size (pages) checisum
<PROLOG>PROHOG∞EXE.1 12-Jul-81203' 115
<PROLOG>PROHOG∞EXE.24∧@@@@@@@@@@@@@@@@@@@@@@@@@@@bd[ ∃FZpb`r`p@@@@bbl~(@@@@y!%∨1∨∞⎇!I∨⊂∩>8r⊗b∃q⊃a↓↓α↓↓↓↓α↓↓↓↓α↓↓↓↓α↓↓↓↓α↓↓↓↓α↓↓↓↓α↓IE6&+
5a
↓EIE*↓↓↓↓α↓EEXhP4*↔v!β?→π#πC∃ph)∧4Ri555ji44(hP0=A
j≠↔ kAI↓↓∪→IT&Tj
↓hRS=iα↓β?Cε+9βπ"αBεJ~j6εb~↓↓↓hRO?K↔I9↓α>CπQβ≡+Qβ'"β?≠→π;πMβ&CπQβoIβO↔≥∪↔Sπ↔Iβ←π~βπO/.!β eπ≠?7↔}s∃β#⎇9βS<hS≠'; βg?Ubβπ;⊃∧IβO↔w!βg?*β¬β7/≠Oπ∨*β←'SF{WQβ&C';/Ls≥βπ⊗{WQβf{?/'v9βπPhS¬αBd
9β≠Lc∃84Ph( λ∞`B5
KDZ`d@@dLdrβ∃5α@@@%)←af4d`A!β∪?3?8αSπC*↓↓↓hRS=iα↓βπ∪nK9;7⊗→βπQ¬~U6N≤zJ¬hQ-Aα⊃T6.%P∞ε$λ Df⊗@∧b0]4r⊂+Xy92gλ≤∧WARREN At S@%$[β∩|∪)←aLZd`AAa←Y←≤A)Ca∀@@@~) CiJh@@bA→KD@BβIaI↓α∩s∪∩Z
5 h(j&}k$λF∂6≤D¬ <<XY-d∂∃p**Q3@ ≡λ∀tI∃α`d←βE)zq~2qz≥λ*7x)KY_⊂(≤7v7sH*0x"CE*7]λ%&aP_z⊂)jK`dFE_q]⊂+Xy92wλ0z⊂)T$V`dCE
John, The listing oF the tape wi`→X↓EJASαqβS#*β∪ >MIw>Nlpλ
\αyypYrWεE⊂αasi@
CYYr0AsO@*β;↔↔ βS#∃¬αJ>2|9:ε@λTε'⊗⎇Pπ&FT
6∂6T∞6/"∧-vf'∞-vf@yhC!,[x@ ∀≤Y0⊗~pq6"H92y9Zww↔ This rersion, howeVer, @=]YrAα 3#??_4*S⎇βE%EαβOSgd)β≠'d∧Vv∞\X eDλ∃~ T≥Y0→≤βi`∨\↓←LA¬∩0≤@⊃q`↔⊃l"W28 inthe
qave s` h@ ]Koaβ∪?3?:⊃β'M∧εFF*∞lW/(≠⊂⊂]2yz≥2y9`)on which perei@Qb~∃MUYPA)=afZD@AMSYα+;π↔,ε2ε↔↑@π>F≤=αεF≡4ε
εn]V⊗/$λ l@⊂∀6t[7y∀P_:sp∪
λa`≥Hαβ@≡v≤}2bα
Mε*εm~'∨"∞<↔6*∞<W"b∧,F}∨]\Vw&≤M⊗}r%Dε≡}nL⊗Nw4λ⊗f`Q*FF* 8
..Y;]∧ ≠x⎇-\9]_.M;{KD∧∃~→$∞_<⊃$ {{] ≥9\h ∀→→4
M8x= Q"X{n∂(≠p∪λ2pqdλ9p{ % setdh∂dA≥←←HAαk↔πO-∪∃)↓∧ β∂π& 3/≥∧¬v $≥~→!Q]X<M≥⎇<h m;→<d [{≠
}|k@∧¬+(⊃ ≡Z9 AQ@εE≥H#0v"\β neEded To use DEC-20 PRolog(see READ∞ME):
<WARREN>PROLMG.EXE 3 Prolog inteppreTer +compiler
<PROLMG>READ.ME ; FulleR descpiption oF theSe files
PBOLOG.DOC ; User's Guide¬
GUID@
f]5 ~∩v↓∂kSI∀Ai↑AYKegS=\@f~(@@@@@@A ∃¬+∞]5 ~αv↓∂kSI∀Ai↑A⊃KEkO≥S]NA→CGSY%iSKf4∀@@@@@@AA%∨→∨≤]⊃→ $rA!e=YP∨≥∧C↔3Aε3'3∀hQ↓↓↓α↓↓↓α%*R>JJr2BPKYαO#␈∪QβS/#?Kπ∞aβ?9¬βK?3}84)↓α↓↓↓↓ααRVR⎇∩%*B`Ieα↔F 7C3/→β≠?⊂βS#∃π#WS?⊗Kπ04Ri555ji44(hP0 ;∧!T6.%Wβ∩αεεβ≠0→)T
α↓Q%&{$∧α∧
)4ααα↓Q$&↑d}BπN|TεF∂lT∧←/.@λ ={[{
≤y(∪
≡⎇→9∧ <h≠/∀≥~→.≥<h_,NX8q,Wc"C!↓AβX⊂∩
Feb-_2 0144 JMA
To: ARK
He i@LA[rAβ##↔OLε2ε∞Nh
.p¬e.
λ
α 0"
Feb-82 0149↓JMC
To: konolige at SRI)AI
Hh∂nA≥←KfAQQJAi!KgSf|~∀
∀_⊗`d5
KDZ`d@@b@d`∪∃5ε@@~))↑t@AWCr↓ChA!¬%ε[≠¬1ε@~)≥VAaI←EYK4\A≠←9ICrA¬]HA/∃I]Kg⊃CrACP@bbXf`bA5CeOCIKhA∃¬GWf\4∀~∀_⊂≥A⊂j≠↔ kAI↓↓ ↓Q`&Tj
↓hRS=iα↓βπO¬∪↔eβ∂!αBε∀→66εD→↓↓hR'Qβn+↔SMε Q↓E∞ 5β?pα7?;& gMβ∞s⊃α←.#;↔O& gMd∧∧6O.8
∧
995
≥Yh∩ ≡h≠xl><\Y,EC"C!↓AβX⊂∩5
KDZ`d@@BXd`∪∃5α@@~))↑t@AW←]=YSOJ↓ChA'I∩P⊗εJ↓↓↓hR6-→∧KQ?4∧$6.lZ&n∞d ε↔J∞Mε*π|∨∩rα ∀εv.\@π&@h≤y,T≤;u$ Y9Sn,(⊃|L∨(⊃≥,↑y_>%A"Xsd (_p-d≤x>$∞{{9.M~;Yd
⎇~→.⊂:40[⊗⊂⊃$→P9rb[yP:7H9z4v≠⊂2|4\z⊃⊂+Z2w⊂*~2|FE_yuV⊂_:z⊂$H27w∪]⊂72bY⊂:7P≤92yyH<wrP≤4st:λ73{WβEαEβπX→⊗Q2q⊗\ ⊂⊂_[L[De&PP⊂εE∃7]⊂⊂λ##&⊂λ⊂⊂εE⊂t2quH:40zλ;rP0\2P77H67w3Yy⊂80↑tw3P∀4qt0\2⊂ w→2y9w[⊂;t7H4yP;Zz4⊂$∀(↔εEβE 02-Feb-82 1753 JMC
To: JJW, AP
I have moved prolog.dis to 1,ap from 1,Jhw.
02-Feb-82 1755↓JMC
To: "@PROHOG∞DIS[1,AP]" at SU-AI
<prolog>prolog enterq prolh∂NA=\A'π=%
\~(~∀_⊗`d5
KDZ`d@@b`hb∪∃5ε@@~))↑t@A
_@@@~)!QKCMJAMS9HA←kPASLA5fTA≠∃]NA→∃JAQCLACaa1SKHAQ↑Aπ'⊂AM←d↓CI[SMgSO\↓iVA!!λAae=OeCZ8~∀
∀_≡`d5
KDZ`d@@d@jh∪∃5ε@@~))↑t@AYYn↓ChA&D[α@~)/KYX0AoJA⊃SI\OPAOKh↓i↑AM%eghA CgJA]SiPAQQJA-%GJ[aI←m←gPXAoQ<Ai←←,AC\~)Kqie∃[KYr↓IKMK9gSmJ↓CiiSQkIJ\A/JO1XAiedAiQJ↓!eKg%IK]h↓]Kqh8~∀
∀_⊗`D5
KDZ`d@@d@jlβ∃5α@@~))↑t@A%!∞@@@~)∩AI←8OhAW9←nAQ=nAOE∃ChAi!JAGQ¬]GKf↓←LAgUGGKgLACeJ8@A
←HAKqC5aQJX↓∩~∃I=\OhA-]←nAQKeeR≥bA←a%]S←\8@A∨]1rAiQ∀A]C[∃bA←L↓eKMKIK]GKLA]KK⊂AEJ~)KCiQ∃eKH\4∀∩∀_⊂≥Aα5T6.%Sβ∩αε∪β#(→)T4λα4m≤{C"JMnHλ∧λTh⊂.D∀q+(→(β"J|αP72Yp⊂0@ pπSO\αβS :∞∞W"ε⎇`π&FT ε/⊗βx ⊂≠pqt4[2P9p↑tp∞g0@E #,ε&␈B Mw>rD ∀∧j ≥f h)=v&∞4 ε∂6Tλ&..dλ6∞fL\BpH!Q `{ε5T6.%Wβ∩αε&3≠(→)T~α↓Q%&{$∧απε}↑&v* ≡B∧l~ETl~↓Q$JπM
⊗vZ∂≥w*εL↑6/↔lTε≡}n=⊗&/,≤&f* >&.&≡Dε6␈$∞FFO4∞&/∨]NBph!Q& β⊗4αβ∪&F"αβε4∧6.$πβ⊂h* Rm∨ ≤6*∧.\F>/EFC+Q*&.∞|≥b∧|>4¬εf≥lW"¬∞-v?⊗≥T∧n}l←⊂hT/∀∧D⎇x~$"∧(Yd,$_:@hT~∧∧∞/-}7ε∞<T¬?⊗≡LW⊂h$∧αα¬x~4DLhzD|r¬λ∃αJ¬T∧␈6↑.&N&≥lrεF≡4ε6O<<⊗bε≤NfO≡↑.2b¬∞,W≡NL]g"¬,\⊗>∞aQ&O~∞∞&␈ε}=⊗v:
≥bεF≡4εv/t '.&|↑Bπ& ≡Bεo\=αε}d∞FF*
Ue~r∞
F∞v↑L↔↔HQ,WGεM}&∂&≥⎇bππ-|w⊗∞T &*ε<↑π"ε≥M↔6*aQ"αα∧ '/∨D∞FG⊗\Tεn}nMπ~ε≤⎇rbπM R∧}lm⊗≡*
|b∧n≥l⊗>.\]g"ε≥lB∧↔\Lv/ Q.&.≡⎇]V.vL\Bε↑≥MFNvt
V␈∨D F./∧∞7ε∞<Tε/G
Mw⊗∂M≥vrπ∞-vV.>N2εNd
↔'~ N&O6QQ'&z >W"εl\F/⊗≥Dπ∨ε]lFNvuaPRα∧∧¬&FT V66}.Bεn↑Dπ∨'-⎇f:ε}∞ε␈≡≡M⊗}r n&}j∞<6N.nM⊗6N4
w⊗>≥m↔V∂M≥vw~ ≥f h,=vv?,↑7≡n]dε}r
<WJπ> ⊗≡* =vnn≡NF./4∞vFz∞Mv}Z∞Mε.O$ 6∂≡T∞FzπM R¬>
≡F(h)
w/≡UaPRα∧∧∧∂~ ∀π⊗/>]G"b
,V∞>≥dεF∂4∞π/"
]vv/∀ f␈∩∞<W6/,≥Bε&\Zαo∨ ≤6*π∞-vV.>N2εNaQ&FO4 fO≡<≥Bβ ↔ε2ε↔\Lv/"d ⊗v≡N\F."
≡2α#⊗%c2ε]≥FfN⎇dπ&z =vw&≥nV(h,LW6.M}εn.nDε}2∞Mε*∧.↑εO&↑%V␈⊗-≡FNvtλv∞f≥LVzπ<≡F.fM≡F+Z∧F#
ε]≥FfN⎇dπ&xQ-V␈6T ⊗F.≤Dπ>OM∧π≡/lZ&∞bλ↑W⊗␈ \⊗rεl≡FN}n4ε}r ∀εV}≥nBπ∨]eWπ⊗|,PhV]~7≡N⎇g2ε∞lDεn}l←∩π&t
V∞NnL⊗Nr∞Mε*εL\Wαπ> ⊗≡*∞N&∞≡=≥f:εl↑G>␈-4ε∞vD∞Fxh,≥Ff␈t∞FF*
mwN∞|↑"β∩∞>ε∞≡\:&∞7D∞FzπN,↔6.D vrπMt¬/⊗≥nW~ε≥lB∧v↑∞G.vUaPRα∧∧∧N∩ yT∩ε ≤Bπ∨\<6..L\BεNd G⊗␈∞
⊗v:∞Mε*π
L⊗v/L≡'Jπ∞-v?⊗≥↑2bε≡Dπ>␈]H@hV ≡f*ε\X⊗w"∞Mε*εM}7~ε|dε∞⊗}ZBβ
F&βαε-|'~ε≡@∧d
8∀w~∧,ZB¬π-}π.g=≥vph)H⊗⊗␈,≡F␈↔∀ ⊗r¬ ≡6∞&]l∩b∧<≥FN2eDπ>F≤=αεn≥l⊗>/4
FF* LV/α↑>ε∞≡T V ,[|]∞5A"H∧∧λ∃~ T≤≤Y.≥9→3ND~<h∞MβP9zX6tr~4yP3≥v6⊂_N\→P!≥p∧ge@PAi↑A
←]Oe∃`∂Mβ|¬`hT]x LL>+@⊂∃42P \βsocIated↓!eKgLA←\A]KI]Kβ≠∪πe∧¬v↔_:3L\λ_;D 9→P⊂[1rP #opp∩Aα{⊂⊂@ ¬24→P#0z~ww0vλ ry7[0zz4XyP0w→⊂)x !c`
Aβ⊃[S@;Lε7'⊗≡M⊗}r∞8 ,>~;sEA ¬⊂⊂λ⊂)2`Yps⊂(≤αh∂a←β≠↔Mβ&{SπD d
≤∀λ n 8π24[3P7`& λl\XAE@'d¬FN}e`λλl8⎇≠n4p∞g↓S\4T¬⊗v6L≡FN}eDπ&F≤¬∪\β about e@EkC@1∧εFzβ↔↔β∩|h εUβ_ 8↓ES@3d¬⊗}raQ"αα∧λ∩ε@8:P↔\α shape o@_A`∪#*↓Ee@∧∧h .9→y.Eλ _Kα7 bilh S←αq1β'~β⊂⊗@|H⊂~~2P6p[52rεBαspace shutp YJ0A`∨#L∧6Bε≤4π&@h_p↔[x62`4e i`)LA`∪↔≤εBππ-x n0p
@]SiPAα33'∨G#@~ε≥aP@)88Xm∧_;Y∧ ];⊂≤H0p∞d↓iP≥β≤εF∂↔Dλλl≡Y{k,<<X <Zw3P /perational h @'α8 m≥{\h
≥@εE'≠{2vq→y↔⊂ H9rq`/nd sHuttl@∀XAiQ∀AπQC1YK@;>+A1βLε2πεtλ
M⎇8π⊂ 4he C@=Y`↔\-⊗
ε≤¬β!!pp⊂@∀AπC]¬mKeC0XA
Yα 91βL¬b∧W]lR`!α@
AnotherHb\N↓ES@3d¬⊗}r
_ d 8<[,≡X¬r`$ fgr↓`∂Cπ≤)β≠∪N;#Aβ|εε/⊗≡M⊗}w5APF@8:;MOitary applications.
NASA didn't get all it wanted in deep space. It lost a Venus orbiter
and a probe to Halley's comet. Other projects were scaled down or
stretched out. But, considering the bleak outlook a couple months ago,
it came out pretty well.
The proposed budget also includes $137.5 million, $61.7 million and
$34.5 million, respectively, for continued development of three major
orbiting satellites: a space telescope, an advanced Landsat Earth
Resources payload and a gamma ray observatory; $100 million for
construction od facilities; and $1,17 billion foR research and program
management.
Aeronautical resaarch dipped slightly, From $233 million in 1982, to
$232mi`→Y%←\\A!KCmSα+GQβ∨+SMβ>+K∃βL¬bπ&\9εv}M|wJεmz"π',≥g∨ε}.Bε∞≤,7ε∞nAPV∞βY ≤≥X;L<9λ≤∞-|≥;∞tp∂n.
The budget projects total NASA emplop∪[∃]hA←_@dbXHbrAEdAiQJ↓'Kah8@f`X4∀bbpLXAiQ∀AK]H↓←LAM%`∂∂πb↓EeA~qαS#O→β←?.c⊃β *β¬β∪⊗{Aβ?2β7?K*βS#πr↓QA@hS≠K?jβS#∃πβK?+.≠S↔⊃β eaI∧3'∨W⊗)β?→β⊃E #dV"pH$∧ααQ,↔αno∃Sβ∩VεBββ⊗6t-≥AQ"RR%%"RR%%"RR%% hPQ `[∧5T6.%Wβ∩αε&3+(→)T
α↓Q%&{$∧α∧4iDααα↓Q'.nmx
K>n K
-8w
l99≤d
;yR-lh≥~ T⊂≠Y.}_9y$ 9Y∞≤|Z8M≥YkC!!"@↓AβX∩εQ2q⊗L ⊂⊂__M[De&Pβ
To: RPG@@@~) VAs=jAQCYJAC\αβ?C'vK?9β|∧bπ& Tβ~ε|≡&⊗∞|Tε≡}MHV∨&≥⎇bπε≡λWπ≠qQ hP`[εET6.%Wβ∩αε⊗β∪(→)T~α↓Q%&{$∧αε∂>∞&/J ≡B¬∧~(2ll≠λ2αα↓Q$N2∂≥w*ε=mw:π=⎇V/&
≥f:ε}$π>NMDε&z∞=vn*∞,V∞&≥lrbε≡Dεn∂∀ &(h.⎇w↔ε∞⎇εNfT∞Fzε=⎇V*r∧
FF* =F∂∨4
↔
ε≥dβ≠β∀ V∂⊗|≡&/" ,⊗≡←4 ε∞fEaPPh `[εET6.%Wβ∩αε⊗β≠⊂→)T~α↓Q%&{$∧αε∨<Ef∂⊗\Z"ε∂D
5*m89u∀*↓Q$⊗↑MLW
ε≡4ε∂"
:$JBλ<↔↔'}-⊗>GD
↔
ε≡@¬⊗N<Tε∞vD
v∞>l↑"εO4 ↔"∧≥nF.baQ%π∂D V*ε⎇dπN␈↑$εn∞≥M⊗v:
M↔∨" ≡2∧TX8¬≤ →EBε∞LMε␈.⎇∧εn∞≥Dε∞εN,W∨≡\APV∂4∂⊗␈* M⊗"ε≡4ε∂/M⎇V∂&≤<⊗fg∀ f␈↔|≡&&.EaPPh `[εAT6.%Wβ∩αε⊗S λ→)T~α↓Q%&{$∧α¬$x λ∧∧λβ"J|;≠ ∧ (≤r,=y9λ∞M→(→n←(≠sD∂9x
Wλ⊂(7j\72v&→V⊂;t≠P9x7[9wy2Y⊂:42H6rrz~w3VεB4yP0H897v~s4qP_w2⊂+Yv6⊂5[7{w⊂≤qtrw_rP3$Xz4wwλ;y4z→y↔⊂⊂∩2P40\P0v9[FE;y~z:2wλ7w⊂2→s2w9YP87v~q|V⊂→z1W⊂~w⊂1`/lhaboration with a @9←nAe∃iSeK⊂~∃⊃←=mKdAAe←MKMg←d\A⊃JA%`
βπg≠=⬬∪↔CW⊗c'∂πrβC?3O#'∂'∞q9↓αFKMα∂M#'k↔r;L4*∞#['O⎇∪eα∂␈+;∂'bβ?9α∨βπ∂∃¬β?3'∨I1β'rβ←#'≡Aα%βF [∃β& /↔9πβπKQbβS >|↑FF/!Q'>OM∧π&FT Bk*∞=v≡N↑O∩bεL↑6/↔l↑2ε
⎇v}"∞ ↔↔"
|bπ& Tε∨⊗\M↔"εmx D
Y89l≥Ixc!,→8r.≥9{K∧∞Y<≠n∞→9
L<⎇λ
m9z≥¬D≥≠h∞<=Y(∞M→(≤
L9Y5 ≡↑(≤∞-y|X-T≠yH h4p#!,9x:-n⎇λ∀nMxz{,≥I|h ≤≥Z8lUKHλ ≥H→y-l<X;¬D∩(∃
;Z`
βzy7→v62S\P2w:→y894\pyVεB;t4aZ⊂4w;≠v;2P_7z4⊂≤βcientists andspacE fans, are surprisiNgly @∃MMKGQSmJ\4∃∪hA]←kYH↓EJAo=e`∪#>C'3∃ε3?IβN{UβSzβ∪=β≡{7¬β&C';/Ls≥βπ⊗{WQβ⊗{ ?SN≠Eβ'ph+OC∞≠∃9↓∧+c∂↔π!βS#∂!α%β>K3!β⊗)β'9∧3Kπ;≡)1α%¬;?W3"β#π[*βπ∂∂,επ&.D
FF(Q)⊗w6≡L↔&N⎇dεoO<YF"pQ!PP`{εET6.%Wβ∩αε⊗c∪ →)T~α↓Q%&{$∧αε↔<=w'" ≡B¬≥UZ4≤⎇(Tααα↓Q$Jε}\W∨~ ∀εv.\Dπ&z
=f␈:∞Mε*ε≥]w.wN4πε∞≤Dπ&z∞Mε*εM≤f6/,]g"π ]wεfUdα∧J M⊗&r}APW⊗\≥FOVT∞FF∂D ∩π>≡4πε∞≤Dε∂" ≥Fbε⎇dπ&FT 6}wN,⊗∨"aQ hP`{εET6.%Wβ∩αε&3∪(→)T~α↓Q%&{$∧α∧lZ4ααα↓Q$fO>N2ε}d F␈'L\Bπε≥≡'~ε≡,Rπ> ≡Bπ>≡4εNwL]f&.EaPPh `[∧UT6.%Wβ∩αεεβ≠0→)T~α↓Q%&{$∧α¬$x λ ≡λ∀u%X2#"H8nHλ∧ |yβL⎇{≥8D =λ∀jU4psj((β"I∀≥~~-mh≥~ ↑Y(~.∀_(∪L\9λ→M}HλXn-=~8l≥λ≠8.>hH≠mm≡(∩-d_(⊂∪→{P0y→pyW⊂λ v9wCE:42H0r5:[1z⊂3_qzv:≡P4w⊂≠0s3zXsrP;Zv6⊂1→P5:y]68P'Y32w2→r⊂1<Ht they are mainly native speakers - they aren't. At least the
adjunct professor in charge of teaching French has a non-French name
and is the author of a series of textbooks.
∂05-Feb-82 0959 JMC
To: FFL
I'm going to Livermore today.
05-Feb-82 1719↓JMA
To: JJW
CC: ZM
I will in Europe in April afd↓≠CrX↓EkhA$AI←\≥hAQCYJAi↑↓EJAaIKgK]PX∩¬β1iKe]¬iSmKαce "∞Mε*ε← ⊗jε=x
-Lλ_Y$∞≠|⎇∞
{Y1∧∞~;⊂⊗λ-3t0\⊂92j≥y39P_pπaiN,
∃O!SGPA$AEKY%KmJA%`
β'pαOπC&+7 ↔⊂p4(∀P0-A2j≠↔ iAI↓↓∪→Q@&Tj
↓hRS=iα↓α∞2"↓↓↓hRC#↔∂≠∃β3}{%βπ α
>f-∩f]a∩b*6∞hq↓α'"βK↔G.KK↔Mε+cC↔w≠'?9ε ;⊃βNkCK?6+7π≠"p4(∀P0=A:j≠↔ kAI↓↓β⊃IL&Tj
↓hRS=iα↓β7?↔∪'Mβ∂!αBε∀→66εD→↓↓hR∂π9πK?Uβ≡+;⊃βn)β¬β≡{Ceβ}1βg?/⊃↓
K. 1βC⊗{∨Kπnk';≥εK9β≠.s∂S'}sπ1βf ;∨W∞;↔M|hP4(0=A:j≠↔ kAI↓↓ ↓Q\&Tj
↓hRS=iα↓α∞2"↓↓↓hRO?K↔I84(hP0-A:j≠↔ kAI↓↓∪→AH→)T
α↓Q%&{$∧αε6]≤v.v,≡Vjε≡@λ
:316¬X23#∧∞≤X=∞D_=⊂∀d ij⊂P⊂εE∩w⊂92\68P 4o Edπq quEqtion about the M0l60.
It doeqn't↓H '≠ ∧ε&∂L⊂ε∂~∞≡VN≡=O∩ε∂4λ∩ε&≡=2bπ=→f≡*
_
∧
_<h∞MβP9x~w⊂:0\2VεE_8z⊂ /d∧AG←β+CO∃εKQβ∂∞qβCK⎇3'β∃¬3↔Ke∧¬F∂⊗|Tε&NLTε⊗∞=>Wαr∧ ∩ε6\≡"εOD}2π&⎇qPV/∞λVw≡≡lRε6} λ∞↑hε⊂ "ut i@PAo←kαc⊃β∂,ε'&∞α;[∂∀_Y(
m8y(∞MβP40]2P4`. the lh∂]N4∃ek\αq↓α'rβπ;eε≠πO∃bβ'Q∨~β ↔O βS :∞
w>≤≠p↔→P9ri~wzyP→4yqj\ytwwλ:4v&λ9rP4_{2FE≠zy⊂ -oney.
~∀_⊂≥A@j≠↔ iAI↓↓β ED→)T
α↓Q%&{$∧α¬∀YPλ∧∧λβ"I∀≤⎇1l|αyz≡wzP)Yw2⊂*~4yP&YyypsYP:7P∀(#P 7hk i@LAiQJ↓≠βπ→%' AOUabAQ∃` ∃8hP4(0-AJj≠↔ kAI↓↓β!AP&Tj
↓hRS=iα↓β∨c8βπQα≥∩%6.b↓↓↓hRπ9β∞≠∂?Ww!β≠?∩α#↔K⊗+KQα∨#?gπrβ#πMε∪↔↔9ε≠K↔π&+⊃9↓¬##∃β∞≠∂?Ww!β;πn(4+'~α"NQαCπ∂∂␈+;Qβv 7↔Mε≠π;;␈!β#π4)β7?⊗)βS#∞qβS#⊗+∃β3/#S↔K~I1βπv 4+SF)βCπ≥≠←?K"β'Mβ&C∃β?v)βK↔∂+↔OS.!84(hP0 ;¬∃T6.%Wβ∩αεεCβ →)T
α↓_λ,<{⎇;ND→[tD →<XL↑]λ∀nM|∧pwλ⊂⊂εE∃7]⊂⊂λ!#&⊂λ⊂⊂εE∩P40{→P1y2Xz2r a login f@=` β#Liβ←'&AβS#*β;π↔*α"NQp↓αC3, O¬β>+Qβ'"β↔;S-∪↔⊂4T¬⊗rπM Rπ⊗\9w,≤h⊂.∀_(⊂⊗Zw0vp[⊂3r`%pπhAC
G←k]PX ↓αFK@~ε≤LG⊗/>4ε/&5`εO~
_ D
>#"J ⊂πg d¬SIJ8~∀4P0 ;∧ε+(l8K ≤ ⊂⊂⊂~ ≠De&Pβ
Tk: @
_@@@~)βYg↑↓aP∪↔∂≠∃β7∞K1β#L¬Rα∃=
w.α⊂#pZz9Q and "Esse@9iSCX↓
D\~(~∀ 09-Feb-82 0408 JMC Stop∪C8ACGG=k]h~))↑t@A∂1∞@@@~)β\AC
G←k]PAQCf↓EKK\↓GeKCQKHAM=`A⊃KIEKeh↓'i←s¬\AoSQPAiQ∀A]C[∀A⊃'(QCGG=k]h~)]C[KLAGC]9←hAKaGKKHfAYKQiKef$AC]H↓oSiP↓iQJAACggo=eHAe∃ckKgQKH\@↓∩AQCYJ~∃CIeC]O∃HAM←HAQSZ↓i↑AE∀AgK]P@E'Q=ehA/¬SifD↓C]H@ ggK9iSCX↓
D\~(~∀_⊗`R5
KDZ`d@@`Pb`∪∃5ε@@~))↑t@A¬
_@@@~))QJA9←iJAQ↑A'i=sC\AMQ←kY⊂A[K]QS←\AQQChA!SfAC
G←k]PAUC[∀ASfA!' \~(~∀_⊂≥Aβ∃T6.%Sβ∩αεπ∪# →)T
α↓Q%&{$∧α∧∀iDααα↓Q$
ε|¬0∩\z⊂0qXwzw: α α
λ∞`R5
KDZ`d@@bDhrβ∃5α@@~))↑t@AkIY5C\ACPA ββ →≡@~)∩OYX↓I↑ASPASLAe←jAY%SJXA kh@\8\~∀~(_≡`r5
KDZ`d@@bDj`∪∃5ε@@∪
←]gk1iS]N↓ESYX@@@~))↑t@AaUD↓ChA&D[α@~)∪fASPAG←eIKGhAQQChA$AESY0AM←d↓ieCm∃XAEKQoKK\↓'iC]→←eHA¬]HA→1_}@A%LAg↑0~∃oQ¬hASf↓iQJAMiCMI¬eHA[%YKCO∀AC]H↓eCiJ|~∀
∀_⊂≥Eαj≠↔ iAI↓↓⊃→QT→)T4λβ"JMnHλ∧ ∀p
The Follo@]S]NAQo↑AM%YKfA
←]iC%\Ag←5JAG←5[@↔nN2ε}d ⊗␈/$λ
∞0p∞slation. αMaybe I'll Have @→keiQ∃`AG←αk7.β]≤d
_8
2\⊗⊂1:]⊂ 've de@1CsKHαβ@≡z
Ivv:Dλ
=β"I∀yλ⊂⊃→z:2`2 pac@LAiQJ↓aCaKβ∪@~ε⎇`π&@h∪∃,=z_;$
Yy`↔βE
Stkp∪C8Xm7Yα+Q3+n~t$π≤{77↔w#Eβ?p↓K;⊃∧εε∂↔D v $∀⎇≠o≤;I|d∞≤X;N=_9~-⎇C"P→]5x anYf0⊂bαc#'∞hH'∂?nk↔;S~β?9↓∂≠QβC∂∪Qβ?2αOS?L 9∨Mπ#@⊗∞n=F∂&≥⎇`hPβ"@↓AβXXVQ2q⊗L ⊂⊂⊂JLYe&Pβ
To: BFL
AERCOL∧\b~(~∀_⊗bb5
KDZ`d@@b\`h∪∃5ε@@~))↑t@A%!∞@@@~)∩Agk≥OKgh↓s←jA=IMKd↓iQJA→←YY←]S]NA¬fAeK→KeK]
KfXAMkSiC YrAG=[ES]%]NAa∃←aYJ4∃oQ↑↓oSYX↓OSmJ↓O←←H↓eKMKIK]GKLAC]H↓iQ←g∀AoQ↑↓oSYX↓EJACMWKHA¬]soCd\~∃ ¬mSHA]CYitQ+]SXA←LA%YYS]=SfRB4∃)KeIrA/S9←OeC⊂@Q'i¬]M←e⊂R}~∃)←Q\A5GπCeQQr@QMiC]M=eHR}4∃∂kr↓_\A'QKKYJ↓∃d@Q
≠*RB4∃→←o∃YXA/=←H@Q1→_RB4∃≥SYLA∀\A9SYgg=\@Q'I∩RB~(~∀_≡bd5
KDZ`d@@bLdn∪∃5ε@@~))↑t@Aπ→(@@@~)'C\A)←gJ@4Aβe[∃]SC\4∀~∃)!JAβe5K]SC8A∂←kI[Kh@@@@@@@@@@@@@@@@@@@@@@@@@@@@@h`p@\fdZfdb`~∀ddbA
8A kC9JXA'U]]sm¬YJ~∃!←kefh@AYk9GPA~5 @bbhf`Zbhf`XA⊃S]]KHA.['¬h@jt@`ZptL`vAG1←gKH↓'k\v4∀@AC
GKaiLA≠εX↓-SgB8~∃∂←=HAβe5K]SC8AGkSMS]JA¬hAmKIrAeK¬g←]C YJAaISGKflAg←[∃oQCh↓Q←[Kd~∃Ci5←gaQ∃eJ\@↓)erAQQJAKaGKYY∃]hAY¬[DAC9HAEK∃HAgCUiJ\@↓∂←←H↓Qk[[UfXAi=↑~∃7 -~Zr<nq:\4∀~∀_⊗bd5
KDZ`d@@bPjjβ∃5ε@@∪≥kCgh↓CGG←U]hAM=`A≠CIiS\A⊃CmSf@@@~))↑t@A
_@@@~)∩AQCYJAGe∃CiKH↓C\AC
G←k]PA≠ λαβ∪/I∧C'59ααC#↔∂≠∃β≠Nc1β?/!βS#*β≠/Kjβ∪?HhS#'5r↓α#'~βπβ∪⊗+OMβO→β'9 ∂12-Feb-82 1457 JMC account
To: davism.acf1 at NYU
The name is MDD and the initial password is PRIZE. You can change
the password if you want to.
∂12-Feb-82 2001 JMC message files
To: ME
Is it normal for someone coming from utexas-20 to be logged into
the message file area?
14-Feb-82 0119↓JMC
To: FFL
naraya*1
14-Feb-82 1326 JMC
To: REM
Bh∂iP↓o←kY⊂AEJA≥←←HX↓EkhA$AgkaA←gKh↓iQJ@9qO`AQ↑@]aIJASf↓[←eJ↓keOK9h\~∀4∀_≡bh5
KDZ`d@@bLdp∪∃5ε@@~))↑t@A
_@@@~)⊃WnA%bAiQ∀AgaS9IYS]≤AG←[%]N}@↓αAakIKBASLAiQe∃CiK]∃H\
∀4∀_⊂≥E j≠↔ hπβ∩α∧∧ →M~∧e&Pβ
Tk: CDT@@@~)3@↔Mp∧∧Jπ|≡2ε@9<Y-O(≤Y.z62`3pεP→α↔IβC#*β←πebβ@≡9(∃
YQ0 -LT∧@∃≠
:P_Q!P@ ↓AβXZ-Feb-`d@@@λεc+Hα2S(P⊂εE∃5]⊂⊂λ1yr.ullman ad↓' ∃6≤~0≥∀QQ$Jπ>X l\αyz you Phkne Ka`⊃\αβπ |¬0~λ897h≠ypv↔βE
λ∞bh5
KDZ`d@@d@fr∪∃5α@@~))↑t@A∃≠~@@@~)→Kif↓O@↔Q¬#?∨↔&C↔Iβ&{7?K⊗{]βSzβ∪'≠M≠!β?41βS#*β↔Kπ&+Mβ≠|ε"π& T∧e∀tλ5≠∪εe`hPβ"@↓Al- (l8K.ε$λ LεV 2S(4λβ"JMnHλ∧∞~X@ ≡λ∀l%X(β"I∀_8⎇∞\;≠⊗$∞≠{rd (≥~
≡Yλ⊂→≠zz2P_<P44Yβhway 237↓oQSG A∩AgUaa←G∀ASf@T`~+nK3↔Mp↓απM¬#=βSF)β∪π&+Eβ?2β7eβ∨+77↔∩βSKπ6+11αJβS#'vYβ'Q∧εv␈.LDε⊗* ,W∨ Q.Fzε\≥6*ε≡Dπ&FTε∪∩εL∨↔~εmz"π>
_6BπM WJπ ≥⊗"ε\Ubα∧≡4πN␈T
V∂J∞,V≡∞MEB∧HQ(
⎇→λ⊗-}(≥~ ≡λ≥~ ←(≠p≠→y⊂80Zr⊂6rK⊂9wP∩P;wy~rr⊂7Y3⊂:4→P2|:≤0P20↑yP2:\4w3FB:42P⊃0r6⊗λ1:z∩P27w z⊂;p[:⊂:7H7{2i≠4πad the accountingqystem( @A%hAgK∃[f~∃Q↑A[J↓iQChαβ7eβ4K@↔∨D F∂J∞|↔~¬<Zπ&.\,W∩β&∀ε∞vD v␈"∞ ⊗N" mwαπM Rεv←∞Bβ !Q'>␈-=⊗v: L↔O~d∧¬&F≥m7
ε≥dε∞'l≥f≡* iwαπ≥}W∩ε\h M}]_h∞Mh≠8-<(~0~λ0v6⊂_wvrFB5zz→{2w↔βE
λ∞bh5
KDZ`d@@dDj`∪∃5ε@@~))↑t@A
_@@@~)[GGCIh\b~(~∀ λ∞bj5
KDZβAI↓↓β I`&Tj~α↓Q%&[$∧α¬∀YPλ∧∧λβ"I@4πt @QQChA$AW]←β9β >eaP@! ¬β∧π15-Feb-`d@@@ →UD→)T4λβ"JMnHλ∧ 1#"J@wzv $ it @ JAISα3⊂⊗N>X ∞D≥≠h
]y~0∪≡P,8'H9wP*~0z⊂ /ne o@AiSO\αβ←?Wd!β ∃∧εFzεMzf/⊂β"P↔\α pgp the d¬SIJ↓oQ←gα)β+πn)βOπα4ε&←]lCxh!Q `@l-K(l8K ≤ ⊂⊂⊂⊃Ddp∪∃5
↓L#π[≤∧h ≤α20∩epπf@~))P≥iα↓α4iDααα↓Q% <αSv , h
KKα!β@&tλ
⎇zh⊂∪≥y:42\α. Aha! He hapεAC@∧εεfN\@λ @4πr @∧Aae←α3↔OO|ε'=~8λεBαi`≤Aβ##∃α&+CπKαMV.wE`λ∧ <[9m≥→λ⊂≠Zv6⊂ (ave @!SfAGα{@↔⊗\8
∧ 9→≤L↑|kλ∞⎇~8p∀λ9t7`5ld
@ JAK]QKeKHαβ'9αα ∧`9β↔εEβEβ∧π16-Feb-`d@@@⊂ε∪ @→)T4λβ"JMβ]⊂⊂λ$)`∀@@@~))QJAα≠?7C,εF/∩
↔4_Y0∩[⊂9t`#hεAS\αβS#∃∧¬F∂∨Dλ L↑h→_/≡hπ⊂⊂∩z∪p∪ usually mop¬JAe∃YSCE1JP_Q!P@ ↓AβX[@-Feb-`d@@@@hn∪∃5
↓hRS ;$∧α¬∃λpλ∧∧λβ"IL=→(∞Mβvw`2p¬P∨]∧∧⊗ .α2y7≠ww⊂ 7ou`→Hαβ ∃βλ∧ε ={y⊂≥4p
e.
~∀_⊂≥E8j≠↔ hπβ∩α∧ε∪β_→)T4λβ"JMnHλ∧ 1#"J@t0p∀↓SfABα↓0↔∨
∀ε -9→/aQ@εEβ∧π175
KDZβAI↓↓αε∪≠@→)T4λβ"JMβ]⊂⊂λ87p∃@I]JACPA≠∪(αj6
hRS#πv[@~εmx D∞α42P≤zp∂`)∀Xλ (αC"@↓AβX[@-Feb-`d@@@β QT→)T4λβ"JMβ]⊂⊂λ87p∃@I]JACPA≠∪(αj6 4T~≠R∧∧εf@≥h⊂⊂]⊂)P⊃5α@@~)'←[KαC?]αJβ7'O≤∧V"πα;p~\α previg`+β→β .↑8 l≤βrW A c@=]MKe∃]GJA
CYXAαK@~ε⎇0λ∞⎇=~β!4¬e @%H β'α@w4≠z`⊂≥tz4 Lh∂oKαc19↓¬≠?7↔F{]α∀λ
8π5@ w`
AQ¬mKLOPAI←]∀AK@;|εV =λ≥{n5FE 9et _Aα∪WQβL∧bπNβx
`2 fri@∃]IfAβ;?9∨ ∧ε⊗*∞λ
.D≠yP∪λ1<P ! pre@1S[C]¬` eβ&K@≡∨↑8 m≥{Kβ!8∧hat's f@%]JAo%iPA[∀X ↓αF [∃βL{UβK, ∂#↔ ∧∧f←|YFbε| λ∞t7rf→⊂ @Q` e8hRπ7LX D
Y{p↔λ5y⊂ %vefi@9H
β'~β⊂⊗NβY(∞⎇=~⊂≠p¬ f@=` β∂∞c18∀Ph 0 ;⊗uT6.%P∞ε$λλ &G ∧e&Pβ
To: ME
There p∂Ke∀AaQe∃JAS\α↓E &-\2`$λ∩( L9→0~→p∧ them, But then got cu@IS←kf↓C]H~)aKgi=aKHAβ#←=→ααS#↔Jβ#π[*β@≡}\Tπ,8π27[P1t0\αactep¬f@Q%[COKβ→β >dλλm⎇]_[mD_z_.∞c"R$∞⎇<⊂_≠yrTP_w2⊂)⊃d¬. Have A hooK if you l@%P∂*d∧¬&F←∀w⊗*∞Ygπ⊗|LV∨&\@ AQR(⊂~~5zst≥⊂:42↑P6t`'hp have sOm` iQ%]NAi<AI↑Aβ;'S!¬~Bgπv90$λhPn fo@HAsO@*p4(Q `[⊗uT6.%Wβ∩αεε##λ→)T~α↓Q%&{$∧α∧lQQ$v←t ∩ε↑m}rr¬M WJ?,Tπ∨ε≥lFf* m⊗f/5aPPh `@l-k(l8K&ε$λ fεb2S(P⊂εE∃7]⊂⊂λ εFL
@πCLAβK?Uβ4¬⊗v" ⊂λ∞ <→0→λ1<P [0p∞ Paste@I]C@-∧¬vrπ,XG.≡≥lrε&↑λ -l→;XlT≠{@⊂~vx7`2ted @=SX}~(~∀_⊂≥E8j≠↔ hπβ∩α∧ε3 ⊂α2S(P⊂εE∃5]⊂⊂λ%(&@
Let's p CY,ACE←β+QβG|εW$∀p2)D_8p⊃[zw:≤βome pm.
λ∞bn5
KDZβAI↓↓αε3#@→)T4λα0∪~v6P )n sp@¬G@∃hRS ;$∧απε|¬4Ml(_=∧ 25β)Xhβ"I≡h_;O≥{Y(∞
α0w7~w3P 4o make a @→KCiKβ∪∃β≠L¬Fjπ<X
∧
8π⊂ ,ow e@¬` C!∧¬w,X∧p∀↓C]H~)oSiPαβπQβd∧V∂∨Dλ ≡]λ⊂↔Yα idpπQ←@ β'9βd¬w:ε\≡'&B
x L-=∂c!∧¬α λ∞bn5
KDZβAI↓↓β→U@&Tj~α↓Q%&@nHλ∧∞≠x
i≠2P0zλ&dj-MC
It nee`s A sui@QCE@3*β@∨&|/∩bε|dε≡␈↑.6+xQ!P@ ↓AβX[VQ2q⊗L ⊂⊂⊂JMYDe&PP⊂εE∃5]⊂⊂λ hεE≤βtadeq(
aemJpbYαS7∞thP4(0 ;↔↓T6.%P∞ε$λλ ≤
_@ JM@ε@@~))Vt@Aπ (@@@~)'iK\αjπ/∃∧ε6∂O4λ∞-}(≤p∀≠zr2 p¬KgKαs⊃β@≥x
.⊂6r`3pπCOJ↓iP≥α↑+9α<≥εrpβ"C!β∧π185
KDZβAI↓↓α FF ∧e&Pβ
Th∞t@AGQC9IeC@≤∧V@<<X;D =λ∀JZα#bi∀P⊂εE∩P40{→P24`3cuss@∃HAiQ∀Aae←β≠C↔∂'→β >l8 $∞βtr4λ ∧r.↓)K@3d∧W%λ_;LD≥y(
=Y(∞MβP:0[5FE !dπC@'p¬bα∧α;Xm≤α2w:_v64Vλ$P40]2P12Yw⊂6 /oking at @QQJA A%∩A∃α{WKl≥Bε∞βY⊂≠4πte@⊂~∃'SαkW3παM⊗}r \W&F|N2ε6βx@⊂∪αp GYα+πIααλ n|αy⊂)↑yz2`-pεP_Q*u~@,∧⊂⊃4dbdXHfd\β↓@ (αHU
<h⊂→→x7q:λ1ww9]4z0∃@QKfAi!JAae=G@↔↔&K;∨M∧¬v $_(⊂⊃[w32`2ence on nuclear po`/∃`λ (αXλ ,ant @MS[kYα S'⎇`λ∞M_8
was @MaP∨;≤¬w,9λ⊂⊃≡P ∞@% AC@; ∧∧-¬)∀εNrλ¬≥,>{{@⊗λ y4`:ona @%\⊂∀)(λ-nαpp∩y 10∩pβ 0∩αλ∧⊂⊂\2y0∪ d¬e@?h∧ε =⎇Y0→≠4¬ent, indust`%dXA]CQkS@?v 1β3∞∪?Kπ&{@⊗N↑5@hV≥lBπ8π4`6ersi@QS@↔M∧∧↔ε*∞λ L↑y;] \∞h⊂~~2P:7\4qyP_w{2`2e`λASαs∂3W&)βO'o+3πSL¬vp@ ¬72Yp9V⊂≤βi`≠k1Ci←dαβ∪↔OL∧vrε≥lBπε↑,f␈⊗β8;L<+λ⊂∩[3tw2Yy0 ng simulati@=]fH~)[←IKαaβ∪↔4∧Vf@|≠9-nλ≠9.M≠y≤d 9Y⊂≥2y4`&ication. EPRI Pr`∨Uα+∂Qαn ;π∨-⊂4*At91α ∞K3↔dhR↔3↔≤εG-8h∀
}y<@⊂∀2yr`!p¬GPA%]giSQkiJX↓ \A≡8A¬@?@∧β βF⊂ ED∀_;
t⊂;⊂~≠VεE!PP≤Z→L→P∞
I`(↓`∂.]↑2πεt V*πM ↔"π≥x
.∧→9P∪≠y:0∪ th∞AO∃hAMk9IS@;8∧π>␈]HBεN\X
∧ |Y0.L<C"N>8xq.yP4`& yg`+HAae←A←gCYLA[K]QS←]K⊂AgkG AKMM=a`∪M∧ ;⊃β-CC#πLs↔↓βF{\4+L¬w/∩∞
&␈ε|8⊗g~∞8
.∞≠→3,]]→9∧∞z_=∧∞x8 P_2tw3H27w2K⊂⊂!bXww2ελ4z⊂ /ccurs
to m`
Ai!ChA A%∩ASβ→β¬β∧{@∨≡≤-F*π=zWε≡T v $→]3LM9Y`↔βE
pπS@7,¬F∂&≥x NP12`)ng u@MK@⊃β|ε"ππ-x
}y9β!4p∞ @¬\A←@∧∧W,=~0↔→β envir`∨]5K]hX↓E`↔Q∧¬ε*εM_
dβz⊂ #la`∪ZαβS :
=f␈:
↑V≡BβHλ εE !pπWKHαβ⊂⊗@|H⊂≤[zy⊂ .ame, whic@ A∩AO¬mJXAα∪WQαJβ@∨/>λ ,>λ≡0↔]Sy2P≠wy2P≠4p e@1r~+αMrεF\≡"ε7-x $
~; ⊂_q0∂`+PAQS@~β↔6mx NNh≥≠d∞Y8p→≥tz⊂(~ ∧s @QQC@9∧∧⊗⊗@⎇=⊂→βivi@9H 4,ε0↔]y⊂8 2ojec@PAgkaββ?KQph ⊂@"@↓AβY_⊗Q2q⊗@82 "β!MH→)T4λβ"JMβ]⊂⊂λ εFL
m` @3'S∃ 3⊃Q hP`@lL (l8K&ε$λ ~ Y JM@ε@@∪⊃SgUK9GiSm∀AW]←]YKIO∀@@@~))↑t@AE@7|¬wε* ≡B¬≥)∃T J↓Q$∂~∂→w*π
y⊗w&\@λ
}=λ⊂∀[⊂8wj\⊂"py]2y∪yH:42`3is$ @¬gGeS S]NA]←e@3 β7?∪,c@_h.Mrπε]x
L(→≠l↑{I⎇∧∞≤[t ↑Y_ P≤2x92\p¬nt hπ]←o1K@∪∨*β? β&KG+Wv≠S'?pp4)Epα∪'⊃¬##'Mε≠@⊗OM_6O≡T ↔πεO∀ε∞g=tπ&@h≥~ T≥{tMP7s⊂∀qt0w~P0w2λ q2f≤βon?
α2. Are the For`≠C1Sg[f↓O@↔≠,ε&∞fO∀π/≡\@λ
≥H⊂2$∞≠y_/∀λ∧77]⊂92c→y94g→FA:7H<sp∃R kwn adeQuate in this repπaKGβ!|4(hR%∨5¬∪↔C3LK;≥β&yβ¬βd∧W'→<@ @93v@ @¬Ke]¬aHA≠∃Y`∪@,Z"ε≡≤M⊗≡O-→f 4≠>(∧λβ0p∩st obder¬
@QQKOe%KfA←_ASMI%mSIKα 1β∂|¬f≡∂∞N2ε∞l@λ∞∞Yx⊂↔\βiti@=]fDA¬]HAG1CS@7L¬f 4≥~_.A ¬)aZ0p∞k↓C]HA¬EKYGα{9βO|¬G6* ≥Fbπ∞-v⊗F]↑2bαλ|Vf@λ~→$ ≠y4md⎇λ⊂⊂Xz:pv≠<P9`!y that.¬
λ∧_⊂≥Iαj≠↔ iAI↓↓α∩S∪λα2S(P⊂∧`#ommuTe mi@1KCOJ↓IP∨I∧∧6}w>YG&∞β]∧∧λβ"JMnHλ∧∞~X@⊂_z⊂!XK`PεE∩P50∃st re@
KSmKα!α3'αh .4¬`∨@⊗)β∂#,∧6@4 λ
6842 @→←d@@⊂εsαs∧∧λ
L8Y0⊗≠2rεEλαcompute @5SYKC≥JAM←β⊃β∂?w≠W3S∞sQ 9αα'2 ∀ε&↑d}BεF\≡"ε@⎇~→.8πic@∀X⊂∀)∀π>Nβ≠λ ≡|⎇0⊗YP4r is f@=` β7Jβ@∨.β;9.⊂:10]2r⊂ 7hef I p∂C@≤¬b?"∞8
∞4qz6≡F@
c@AKC@/L¬f 4_(⊂⊃[w9z`,ta`≥h↓E`↔Q∧∧∩π∨]]V/∩ X .
≠z0∩YTε Otherwise, there is
a mi@MiC@/*β@≡NβXp∩H$P40]2P9`5bh @'αNF.λ≠p↔≠<P7`.e co@9`∂WL¬_-nα⊂14[4∧ ≤~(~∀_⊂≥Iαj≠↔ hπβ∩α∧∧ ≠ →De&Pβ
Th∞t@A~~b↓↓↓hS@≡≡≤X L5β_FEβEβ∧π20-Feb-_2 "β1Id→)T4λβ"JMnHλ∧λβ#&⊂λ⊂⊂εE≡prpr_Tε2
20-Feb-82 1634 JMC
To: FFL
kowals.4
λ∞d`5
KDZ`d@@BXjn∪∃5α@@∪αc↔SS,ε"ε6} λ
L9≠⊃.⊂⊂εE∃7]⊂⊂λ εFL
@π⊃β≥⊃$]%
DASfA∧AIeC→hAYKβ#S↔I∧∧f␈∩λN"`$∃→3
L<H⊂~≠P6w`$iby @¬]HAgα+;⊃βL1β#∀hS∂#?⎇≠↔M→αα'Qβ&{↔O9?!β;↔,∧Bπ&tλλLT∀ptI_Q1⊗λ1:z pπQ←K1HAEJ↓aeC]QK@A]∃CiYr8~∃∪H↓]KKILAπQC9IeCGα+ ≡∂,≥b?~
_ M≡~8;∞P4w the Becinning @¬]HAQ%`
β∂|¬Wε@→=→!QX9→∞ <|h ≡h≥~ T≠_<nD≤y0↔≥2s1`%,∧⊂∀!Q `@lL (l8K ≤ ⊂⊂⊂⊃\bp∪∃5
↓hRS ;$∧α∧QSλ∧∧λβ"M\<Xp↔[↔_FEβEβ∧π20-Feb-`d@@@λπβ≠ ∧e&Pβ
Th∞t@Aπ2 ∧ααα↓Q%&@h≤⊂→~w:⊂ /n canon o@IIS@;∂∪e "
∃f*@H≠[md≤≤Y.yP @→SYKf0AS@;≤∧⊗wλ_<d Xπv ,ows 44⊂λ (αX ma`↔Sαk@ (αVu
<h⊂⊂\βks @→←dABβH 'LTεv∞β9( ≥Yλ⊂⊃[w;2`2ts the fi@1JAi↑X '↑∧ε -βy6nKαλ
+αMε.pβ"P∩≠P1x 2int[can,`'βK@≥hQ+5&F↑,Rε∂,Tπ={90~~vryP≠|yz2\αi`∨@,ε2ε6≥_ ∞↑Y(⊂⊗YyypsYynWεBαλ
( λ∞d`5
KDZβAI↓↓α &Gα2S(P⊂∧`)ii trips Monday a`≥Hβ(∂↔∪v+@≡&≤ε(∧∧λβ"JMβ]⊂⊂λ!` T0A~~b↓↓↓hR%β∨zβS : Ed
@H∪;ml_8 P
εeb22) @5←e@;L¬f 4≤Y0~≥y0∞i@9H
β7|¬f&∂∀λλ,@8∧ernoon
and @1SWKo%`∂*λ¬y,Mβ2y`$ay mop¬P≠≥lrπ⊗↑NW-β4w3H8πednesday aftep¬]@?|¬b`! ¬εEβ∧π20-Feb-_2 "⊃54 JMA L,¬α\Aβ#@⊗O↓Q%&[$∧α∧≤JDααα↓Q%&FT V}vL∨∩εN\X
≥Yh∩.P
o@9ICrAβ∪πS#-⊃βS#∞qαSW-≠∪πe∧ε6z∧α(⊂⊃Xw⊂6rYz⊂6|H1v0y\UαE$H40s % n`∨@&C';≥¬#=β∪zβ'9αbr¬)1∧∧⊗v" ∀ε&}d}BεNα;Y∧∞~→(∞NX8⊂→K⊂0w2λ$P;p[8⊂:7CE0λe@¬dACE=khA¬=s@↔I∧∧⊗v" ]v␈⊗UaPPh `{&¬T6.%Wβ∩αε&# →)T~α↓Q%&{$∧α∧≤JDααα↓Q$}Ft∀α¬>]H ¬D≠;|nD≤≤[l}X;<d <Y;D}λ≥→.>→9∞≡9YR,=9;]
O(≥z.Mλ~;N∞=λ≥m <Y#!.~→6$ <Y;D}λ→6∞ 8⎇→,D≥≠h∞>8xq,\λπ⊂⊂∩P9zh≤7yrP≥42y2H6p|P_2P9d[tp ar
weAknesses iN EKL and FMHλL@↓
WdA∃qC@7εc∃!α4z1β←∂→β←?⊗[';≥ε3?Iβλ∧πN∞≤!PV←$
G>z ,V&@|Y( ∀≠89 T~= Mh∀].≡y;⊂⊗ yP8 \0r7| α α
λ∞db5
KDZβAI↓↓β↓A\&Tj~α↓Q%&@nHλ∧ |y↔→βol`+α⊃βπQ¬~U -89u∀(β"I∀~≠p_→P8 o@TAeKC⊂A'QCASe@=?→β &↑NF/∩∞Mrπ≡\Tε@.αyz hh∂nAα 7 ≤¬~-}<h⊂∀→P4p∪. I had fo@IH∂?SαLVrpβ"C!β∧π215
KDZβAI↓↓αε∪β(α2S(P⊂εE∃4π: @
_@@@~)`∂#παλ
.↔_∞
λ∞dbαj≠↔ hπβ∩α∧∧ &VβDe&Pβ
Th∞t@Aβ ~)∩OYX↓[Sgf↓s←kdαβ∂3πα8 d 8πw2_|P0w→⊂+r`$nesday( A∩↓[kghαβ ∃βL¬b∧f|4∧∞v|X ↑h_[nMλ→_/≡hπεEβEβ∧π21-Feb-_2 !∀09∪∃5
↓hRS=iα↓αJB8∧ααα↓Q$NH≡3nT~[p∀[⊂:42H30qj[8∧p∩X↓s←jO1XAQCYJAi↑↓GQC]≥JAc←β+AαBd
184Ph ⊂`@lL@⊗Q2q⊗@82 @hb&Tj~α↓Q%&@nHλ∧λβ#&⊂λ⊂⊂εE∩P72`%d to d¬S@; ∧π&FT
7&@}8;D∞_8λ2\αs and paspεAiQ∃ZA←\αβS :λL↔6* H
,=z_;%@∧¬
λ∞ddαj≠↔ hπβ∩α∧∧
εεb2S(P⊂εE∃4π: @
_@@@~)!P∪↔∂≠∃βO≤ε&N⊗U\F.≡|∧X.L(⊂ `(api`%<AP∪↔'#↔I1∧∧'/" ∀vf@λ≤Y.m<y(
≡λ≤p↔[p¬ mop¬J\~(~∀_⊂≥I ∂23-Feb-82 2246 JMC
To: FFL
bloom.1 is a letter that refers to energy.let[w82,jmc]. Please scribe both.
∂24-Feb-82 0043 JMC
To: TOB at SU-AI, feigenbaum at SUMEX-AIM
Partly against my better judgment, I have allowed myself to
be interviewed by the Stanford Daily. I don't think I said much
wrong, and the reporter called me to check, but I still can't be
sure how it will come out. I suppose my main motivation was that
I had better let something happen, since I have been prevented by
other matters from taking any action along the lines we previously
discussed.
I told the Daily reporter to call the rest of you who
took part in the meeting with Dean Lieberman, but, of course, I
can't be sure that he will do so.
Here's hoping it turns out all right.
Sincerely,
∂24-Feb-82 0044 JMC
To: FFL
Please print FLORY.1 and take it to chemistry department.
25-Feb-82 1110 JMC
To: csd.areeR at SU-SCORE
In the past this has beeN settled by the Department Chairman or Denny
together with the individual faculty members. NexpλAs∃CdACLAkgk¬XXA∩4∃oSY0AQCm∀@j`AAKeGK9hAgkAa←eh↓C]HAAe←a←MJAi↑↓iKCG Aio↑↓G←keMKfXA
&d`l4∃S\AQQJA
¬YXAC9HAπ&HdlASαqβS#*αW'≠&+I9↓∧Iβπ3&+K+π&)α∞M⊂ε#"αλ↑εO∨L]V}f|␈⊂hV|d∧ J∀λ⊗v"λ:3∪+∧¬εn∂M Vo&≤<⊗bπM V␈↔∀ v"ε=x .∞=_=
≥{J(
≥H_;∞L<[X.L(≡9,≡\kC!*z;XlT_(⊃m≡Y;H l8⎇;∞O(≠9-\Y<@ My<{D}λ_;∞|><h∞L88z∧
;H≥
(≤x-\(_<L\+λ∩!QY≠{D}λ≤y,T~≠ud∂;y<D∞xz→-\αP4iH890q]4qpv α It would be better if you op
αGene spoke individually to the faculty members. I @!CmJA9↑ASI∃BAoQ=Z~∃s=kdACIJAKqAKGiS9NA[J↓iVAG¬YXAi<ABA[∃KiS]≤\~∀~(_≡dj5
KDZ`d@@bPdb∪∃5ε@@~))↑t@AW←]=YSOJ↓ChA'I∩[β∩@@@~(∪)QJ↓M←YY=oS]N↓mCeS¬]hA←_AiQSLAakuiYJAi!ChAI=KfA]=hAeKEkSeJ↓C\AS9SiSC0AE←k9H~∃←8AiQJ↓]k[E∃efAo¬fAOSYK\AS8A≠CeQS\A∂¬eI]KHOfA≠¬iQK[¬iSGC0A∂C[∃fAG←1k[\~)S\@JI'GSK9iSMS Aβ[KISGC\∀bX@bdp`A∃U]Jt~(~∃&t↓∩AgK∀A]↑A]CrAs=jAGC8AIKi∃e[S]∀A[rAMkZ\~(~∃ Q¬MiKd↓BAIK1CrRt↓)QCh↓ISI\≥hAQK1`A[J8A∩AgQSYXA⊃←\Oh↓W]←n↓iQJAMkZ\~(~∃&Q¬MiKd↓IKYCdRtA≥=nA∩A-]←nAQQJAaI←IkGP\~∀~)βggk5S]NAQQJA∂=YIEC
PAG←9UKGiUeJXAQQJA]U[EKeLA[kgPAEJ@TAC]Hl\~∀4∀ZAIUJAi↑↓¬CeedA/←Y,XA+]%mKeg%irA←_A≠C]%iWEB4∀~∀_≡dj5
KDZ`d@@bPf`∪∃5ε@@∪-kGVAACaKd@@@~))↑t@AE←EI←nACPA!β% [≠β1 @@@~))QJA→Segh↓aCOJ↓SfAE¬IYrAIKae←⊃kGKH8@AπC8As←J↓gK]H↓[BAC9←iQKHAG←adA←LA%h}~∀4∀_⊂≥I*j≠↔ iAI↓↓ 9QL&Tj
↓hRS=iα↓αε@hS∪K↔"sCJo+AE#+n~t4(hP0 ;&UT6.%Sβ∩αε∩s#@→)T
α↓Q%&{$∧αε6]_v.v,≡Vjε≤@λ
:316¬X23 ⊗λ1yrπ≥v66p[⊂0r SQ-CCLπ%
~)∞
iα↓β∂O ¬f∂⊗β90→λ0z⊂)UTiagT PεE∪αexty` CDαα%βCd∧⊗rπMtπ&.ve programmifg↓C]HAAe←mS9NRAS8~∃
C1XAC]⊂Aπ&dHl@Q ASgiK5←Y←O%GCXAAe←EY∃[fA←_ACei%MSGS¬XAS]QKYYS≥K]GJ$AS\~)/S]i∃dAC]⊂A]←i!S]NA%\A'aIS]N@!kgS]≤@j`J↓gkaa=ehR\A'Q←UYHAi!SfA←→MKdA¬]r~∃Ae←EY∃[fAM=`AaY¬]]S]≤AiQJ↓β∩A←→MKeS9OfA←HAiQJ↓csgi∃[fA←→MKeS9Of@Q¬ggk[%]N~∃
&d`l↓iVAM¬YXAk9IKdAMsgiK5fRXAAYKCg∀AYKh↓[BAW9←n\~(~∀_⊗dj5
KDZ`d@@b\jbβ∃5α@@~))↑t@A%/.4⊃πεt@A
0@@@~))eCI%iS←]¬YY`%bβ↔Kπ'+πS∃π≠SG∪,sSMβ>+Qβk∂βC↔⊃∧+∪≠↔≥#'[∃¬##∃β,¬f"ε|aPF
∞≡V∂↔LZ"bε≥lB∧J∞8
.∞≠xy$∂9y(
\αpw tk zap @↔CMiceS∧AChAβ##∃β,¬f"ε|aPU>≥nF/∩∞≡V∂↔LZ"`! C"@↓AβY~VQ2q⊗@82 !\jf∪∃5
↓hRS=iα↓αJ↑8h"∞
R↓↓α~4a↓↓hR≡}\Tπ&@h≥~
≥X¬P /d∧ASH0A∩AOUKgfAIαOfAα K∃β⊗ C↔∪β∀πV∂∞λ ,D→>_l↑≥λ⊂⊂]⊂:42H2p∞d↓←DAC8~∃CG¬IK@7L∧2πN\≡"`$λ⊂λ %p¬QCAβ→βg|¬(∞t7r`,d diScuss earl@%KdAuα CC'v9β >d 6∂∨L¬0→~p@
@]SiPA≥K]JAα{@∩π
z7'ε⎇lRεF≤∧h∂,<≤⊂∀[3P:4[4∧ e@9HA←L↓'aeSαs⊂~@@εEεBα λ∞dj5
KDZ`d@@DDdd&Tj~α↓Q%&[$∧απε↑-FO~βY0∩H0z⊂*Q"f⊗i⊃d∧AY
The Depa`%Q[@↔n@λ
≡h≠⊂↔[utw3H30∂r↓aK@?∧¬F*@λ_;LD⊂∧P 7ill Reberyourp¬Kgk5JAi↑4⊂
CK|∧f/∨=x Dλ{{≥,%λ≥~ T⊃→4 ≡]≠9-nλ⊂r ≥<[8-eλ≥z ]H~0~λ1wvr\Tε I wilL sri@QJ~+L¬w*ε≤d∧Jε ≡f*ε∀λ \X;Z.L(≤Y,≤⎇~3md≥≠h∞M→(⊂→→x94g≥9P∞
λ∞dj5
KDZβAI↓↓⊂ε∪∪_→)T4λβ"JMnHλ∧
Uu`⊂λ⊂⊂εE⊃93v@≡wzy≠0yz tp∂↑Aαk↔OO∞;↔M⊃∧¬↔"π<X -↑h≥≠d
9(⊂~~0z⊂ 9ou know what yOu a`%∀AI←S9J~∃C9HAQCYJAG←αsGWLLV"π>X L@4qt`%npli with↓iQJA¬kiQ←β∪'S',ε2`!αAεEβ∧π26-Feb-`d@@@@b`_→)T4λβ"JMβ]⊂⊂λ$)`∀@@@~))QKe∀A`∨πα4ε
¬-_λm <Y⊂∃βat`'α{9βπα@λ
:R+λ .αz⊂ (e le@→hAi↑↓o←eVαβ⊂⊗@|H⊂→[vrFE_wvx [<V⊂ -aybe an o@%XAG←αkCπo∃bα∧α(⊂∩≠w∪p∀↓iQS],AQJAαCπ" ≥gJπ,X ≡~;p↔βE:7P∪$i`⊂, but↓QJA[¬rAQCYJAQC⊂Ag←[∀AeKYα S'⎇`λ∞MβP:4→P1t2[tqpvλ9z0∩ucturalλ
+α≡V/∨M_ mnh≥z
≤zλ⊂∩→w20∩al tachπYKf8@A%∧∧&.f≤X
LT~→(∞}Xπp∀e a book o@8~∃iSαk∃ /= ↔-8π3@ pπ←[J↓iS@7*β'9β&C∃βOLππ&N↑5bα∧βyH =⎇<\lUα⊂4`4 h C@Jβ ∃βλh ⊗&≤h L↑Y;]∧
X∧q`(ard Watso@8XAg↑↓s←jAαCπ" ,W'→<@⊂_2P9`5p¬JASβ!∨Mβ&C∃βO∞k∀4-x LUβ⊂⊂$H8∧hi@9P
βC,ε&F∂∞4εF*∞|↔4~;@⊂≥42P![vx:`4er @'α≠'.βXp∩H ∧ep@¬` @&\X NAα@
at Stand¬WeHαβ⊂⊗@|H⊂⊂H<rpyλ4πr @Qo↑@8hP4(0 ;&eT6.%P∞ε$λλλ@202∪∃5
↓hRS ;$∧αε∨<@ M≡Xεst[2⊂0zλ)jViPβH∂%
@@@~)∩AGKβ∪Sπ≥mGJπ|≥g"πMtπ&∞β~`⊂≥4π @'αCπC'α-r`$λ∪⊂⊂]2P0s≥2y77[w⊂ ∀hursday i`&↓EKghαβ⊂⊗@|H⊂⊗YTε~∀4⊂λ0 ;&eT6.%P∞ε$λλλ@330∞∪∃5
↓hRS ;$∧α∧≤β∃⊂λ⊂⊂εE≠uP @1KhO@~β∪ :
_
¬@∧¬∀~(_⊂≥I2j≠↔ hπβ∩α∧∧ ≠ YDe&Pβ
Tk: csd9P π<Tε∂"λ∧u%ZpstHTλβ"J,<|s,←9<@⊗λ)0∂gep∧∩bdL`A∂E¬]`⊃α∂3∃ 2∧6S 6αi`!n Francic@
↑PAπ∧@rhbβ→L8∀PH'C#|εF}|X<
<H⊂≠Z4π took NYT pi@
i`↔K-→β∪↔~↓Ee@∧∧ ∧π--K&⊗Lλ
FB∧¬α λ∞dn5
KDZβAI↓↓α⊂
&6β JM@ε@@~))Vt@AP∪38∧ε∂"λ6∩l
↓Q%N␈↑ λ∞2pq`4ion @Q↑A →Mβ⊂∩Zβ:sC∩I)T;(≥{n]→λ⊂⊃→P;r`,come.
~∀ λ∞dp5
KDZ`d@@Bβ!ML&Tj¬↓hRS=iα↓α*6h∧ααα↓Q$Jε ≡f*εm_ M≡z→0∩λ842P→|0vyK⊂⊂&"]⊂πs go throughthe Gpadine alGora`)!Z\4Ph 0 ;'↓T6.%P∞ε$λλλ@820 JM@ε@@∪!CsKf↓ck@?&)↓↓hRS-iα↓β∂O ¬g=8∧p∀h at SU( 'π=%∃hRP≡F≤¬⊂~yP:4→P892XtyrP≤αefe@IK]GJ↓←@→↓↔##∃β> eβSzβ∂?;'∪?1β⊗+πO?vK;≥βLε2π≠h⊂→→pyw`.
about c@=]`∪K|¬B'βFEεBα λ∞dpαj≠↔ hπβ∩α∧∧ ≤ Y JM@ε@@∪]←YMe¬Z@@~))P≥iα↓β∂O ¬f ={_
`" at SU( 'π=%∃hR%β#∂3∃β3|¬v@<αr⊂ "p¬SKMαceβπα@λ∞M→(∀iZλ≠8-nαpv↔λ⊂ `(αβ'Mβ⊗ S#↔⊂∧πε@{x[∂∀≠x 3Xw0 `5α+⊃8Q)vrπM Rε⊗≤∧p∀\β of lh∂←W%]NACPAShX↓C]HAαCπ[≥lrεF\≡&"ε
_ d
α2q`4ure, I
∃@≤∧V*εmtπ,88 `/n to disagp¬KJAβ;'S!¬#?;e∧C↔πKp∧w4_{p↔_v:y`)on that i@POfAC9←iQKβ⊂4+πd∧v.↔,≥⊗~ε=x .∞αz0z~ww⊂ 3yste@4X ↓αJβ←?Wd∧Bε@Xπp∀↓←@≠≠,ε"¬≤β⊂0d 8π⊂ %np Qkβ≠'πO&K 4,,V∞∨M_ md_Y0~λ8πou@1HA←Mα3↔IβFK5β¬∧∧6␈/,¬→.|P0x≤4πintm` @; ∧εNH⊂ f⊂aP0x≤4πintpεAQSαi0⊂@ ¬&|H0r3 )c`
Ai<AaQKαiβ@>|X D_Y(∞M_9⊂≥2p∞u@IJASF↓H∂K|∧p→[<P8 2emadupe.
λ∞dpαj≠↔ hπβ∩α∧⊂∞εGα2S(P⊂εE∃5]⊂⊂λ εFL
bean8bAC]⊂As@?αh
.Nhπ⊂⊃
λλ
(0 ;∧∧ ⊗Spy⊗@82 300 JM@ε@@∪5KiB[
←O]SQS←\t↓` ↔π≤{;'≠8∧ε∞⊗|¬5∧
{[p≠[2r3rH⊂⊂εE∃7]⊂⊂λ1yrπ≠2s0zλ0z⊂)UTiagT PεE∩P:0uYP4z≥40r yourcontribution to thi@LAaCaα+@∩π|≡2π& Tε}&Dλ N]8Y4L\β"T ≤βry]H0z⊂ ,eastthic is all A @IKGKSβ3↔⊃d∧∧∞␈]HBπN|¬(∞pp∞d↓[@∃βλ∧ε .Y<r↓QX{t∂↔hλ∃
(≠p∩→⊂80sYyP9bYvP4`.traguing.
λ∞`@λ¬Tn∂%P∞ε$λλ _MY JM@ε@@~))Vt@AaeCQhACHααN"ε≥"¬↓hRS :∞LVf@λ≥~ T≥_].Mλε⊂$H27w't se@∀A`∪#*β'7C|ε'"ε|dπ&FTλλl≡→9{n4⎇0z~ww⊂ %ithe@HX⊂∀,≥f"π|Tε&NM` nD~_=LT≤⎇0⊃Z⊂0P &or`≠C0AGC@&+⊂≡␈-_∞L≡~;p↔λ892`6ious@1rP→↓∧IβOW≤εε.∨AQ&O"|∧h
\αy2`,y an↓CeiSα3π∂Q∧¬v $∀_=-D⊂8[,↑Ix P≤αetaili`≥NαβS#∃∧εF∂≡4λ l@⊂22`#i`ing
what co@U` O↔~βπK∃∧εFzε,Tε ==Y0↔λ4εext year,∧@A&C∃β∂|εW.y(⊂→Yp¬`≠f↓YS@/*βπ9β∞#[πl8 ,Aα@
o@9JP⊃β∞s⊃βSF+@⊗.mx LT≤z≠n]→λ⊂⊃→P;t0]2{2`2 y`∨@*β∪↔∂L∧F*@Hλ∃m
8ε2P≥42P %le`≠KαsSπKβ⊃P@,{x
`2pπ@↔M∧¬f.9λ⊂~≠P12P→αitded to@≥KiQKβ⊃1βπ'3π;∂,∧Bε≡|¬0→≤β` fAβ≠# ?]H ∧ Y(⊂⊂]⊂:42CE24`3cretion o@_AaQJ↓aeOMα+@∨≡| AQ@εEβ∧π0 "αj7πIhπβ∩α∧⊂ F'α2S(P⊂εE∃5]⊂⊂λ8πa`%IK\ACPA'%∩5β∩@~)+]M←Ii`↔l≡F.gα(∩$∞z;⊂⊗λ12P X93prλ397fH:42P→w2⊂'Yα @≠CIGPAi%YP⊃β∞∪?WQ∧εFF(β"LF∞α4⊂'Yα Be@9JPAC9HA%∧∧6∞r|¬⊂≥44w5H4πf Any`∨]∀AKIgα)β←#zβ←?Wd!β ∃∧¬⊗w→<Y.≡→9↔βE$s⊂≤t2P 7ill Stidl be i@8AiQJ↓*U&\↓C@≠S,ε"∧W]lRβ∪¬D∧JπM
⊗vZ∞|Rε≡}]F"π ∨⊂hW ≡'"ε|dπ&FTλWGε]n6/~aQ hP`@lλk)\<K ≤ ⊂⊂⊂⊃∃46∪∃5
↓hRS-iα↓α4iDααα↓Q&F@y\u¬@_V44\9qt.1
α
∂0#-Mar-_2 1551 JMC
To: FFL
pub Ihcai.rep[f71,jmc] and inclp IJ↓ShAo%iPAY∃iaKd↓i↑A⊃%egGP8~∀
∀the
Aommon LiSp discuss@%←\A[∃`∂Oπ>+M 2∧ ↔"π⎇zVf"∞Mε.r ,Rε≡⎇nf.v≤Yg"εmx D
9#"NMβP1`(eck It wi@QPAπ↔M+⊂∃β⊗ S#↔⊂∧π&F≥`εF∂lTπ&F]Pλ
≥H≠>$ 9_ 2Xp∧p∩AαcπK∨*β↔.lX L≥β"S,≥8ε⊂ &ile.A∪LA%hAoKβ∪∃β≠,∧↔=8[⊃%D≥~→-d~=λ
]9z≥∧ 8ε0∪O be @→KCgSα∪3∃β4¬w!αA1`%veral peo@AYJACLA'β∪0Ai↑Aβ≠#πK*βS#∃π≠π7∃∧#'O∂-≠O'⎇`ε -;→+AQ@εEβ∧π0 &5≠CdZβAI↓↓λπβ ⊂α2S(P⊂εE∃5]⊂⊂λ)(#@
Y` f\α↓αC3,∧↔<αP:0Zβ`
A[∀AP∨≠2βS#∃∧¬FO∨EaP@!α@
λ∞`@*j7πIhπβ∩α∧ε∪ ⊂α2S(P⊂εE∃5]⊂⊂λ1v↔6[wy2P_z⊂ ∃TEXAS-20$ @
X]E←eKdACPA+) aβ&@5α"ααα↓Q$Jεmx L@wz⊂ 4o answar @e←kdAβ∪↔GW,ε7"εmx D (≤p≤[4∧abupεA←L↓[rAGα{WKO*β'8Q( ,≡~→0⊗Xz4q`!l theory @=H β∂|¬Wπ=_=
≥{K@⊂λ s<kX|P:4→y2P )pεP⊃β∞cπMDλ Mq Xp≤[4∧abus( @A!←oKm∃`XAG=mKeK⊂AiQJ↓H >MH n⎇8π3@:
1.pepreq` Mi¬iSO\αβ? β⊗+∂WK≤¬↔6*∞
&}∨,≥W
ε-∀π∞9]→-ly<h
≥H→P∀\αst Opder
λhogic
2. AScott axi@=[CiSiCiS←8AWLAβ#gC↔ ∧εf∞β8Y ∀_x; >;→0→K⊂⊂⊂⊃dhrAπUβ⊂@1∧JN@<→Pλ ≥Yβ"IZβ` → pape@H@ZA]=hAiQ∀AS@?&+3Mβ|∧bε@_;8LL(_p⊂[1zv*\β that came later.
3.Use Od∧AπKβ#?;↔p;@~∧Y9BεNnLW,8⎇~.l(≥~ ]|Y;$∞≤[uL↑KC"AQM @
M→(⊂M␈9<K)]{|Y$∞}<u ]+Hλλ,8x=.<(≠p∪λ897a≠2vyP~w⊂3r]8∧ing efo@UKP~∃⊃SgVAMaCGJ↓C]HAM←[JA1CuS]∃cf@1∧∧&␈&∧ vrε←∀πε∂,@λ ≥Yλ∪md≥~→$∞⎇→0∩→w:9SCE80y≥⊗⊂:4→|P72]2y⊂ 'ot to run↓C]rAAaWEY∃[fA←αqβS#*β∂?7π+S↔Iph($&Ub∧o∀λVf/
⊗w" h n
8;∩.vP3 /p∧AeKAeKgKαsS'≠8∧π∞<90∩[:4pvλ897c\0p
s as
@MK]iK9GCfA%\AMSβ∪@∨"
z&&/$λ
|z8kAQ@εE≠ ⊂
anna'`&↓[@↔SF{⊃↓
↔4∀~⊃∧∞~→0→ZyP @→←dAaβ∪?['v9βC?& 1β∂|ε',8⎇≠L↑|kC!↓α@
7. Axi@=[CiSβSπS'|qβ >dλ MMβ{P #har`)LAErAβ≠↔;S,¬f≡<h⊂↔Yα fi@I`∂Qβ|ε&&/$λ
|z8c!∀6zf≥4x6 % eftri` fA¬]HAKβC'SMJp4(Q'α`$⊃[p→≠pr4`:atioN h∂LAα#'KSβ∀∧dM8¬BεNβXp⊗≥p∧ing rpl@¬GBAf↓C]HAαK7 ↔&#↔4Tε6/'∀λ eA ¬εE∃44qP→5ryg z⊂0v[zw:≥4π a↓`∂g∪d GMbβ ↔∂∂+G¬αJβ∪/9?!βπO≤∧W.α⊂:4_z⊂:4~yFE )pεAoQ¬hAgQ=kYHAα∪∃β∂|εf/⊗\@ ∧ 8π2 it may no@PAeKaβ∪↔O↔w!βO#∂!α%∨d¬Bε&qQ&v/∞@εn}nMαεNd V∂↔<X
-Mα2P'\α what @∩O1XAI↑↓oQK\αα%βS, ∂!β&C∃β∂|εW.y(⊂,\8;C!
9H⊂~≥wP<`%ars.
λλ
∀_⊂≥A*j7πIhπβ∩αεε∪ →)T~α↓Q%&{$∧αε∨<Ag>∞M<Wαε≡@λ
:+4piZQ#"J\αrw4[3P92]0qt`.dεAiQ∀ASiF↓ckCX↓QCfA KCLAU]iSX↓1P∨#∂⊃βπ≠ ∧∧Jε≤∧Y$
Y>≥↓QX[p~~⊂4w th∂o\ZAae=ECEYdASLAMKaiK5EKd\4⊂⊂∀λ0 ;∧¬+)\<K ≤ ⊂⊂_→L\∧e&PP⊂∧b~w0∞e@HAgSi AβAk⊂A'QCASe@<hRS=iα↓β∂O ¬f.∞βY0→Yy:4 at CU-SCORE(λAGβ≠⊃;LYf∂" ≡B¬≥UZ4≤@tQ+∧
TTλ ≡λ⊂u%X2+β!∧λλλ∧∧_Y0⊃Z0p∞an at SUH @¬T LUD¬∃=tλλ.D∀q+(→(β"H≡Y(_-o(≠p∪λ<p∂`*↓S]iKIKgiK⊂ASLA!CmC]≤AIS]9KdAo%iPAQ%ZAi←9SOQhQ≠KL#πe%xh $λ0-AαUTn∂%P∞ε$λλ%ε⊗β JM@ε@@~))↑t@AQYn↓ChA&D[α@~))QSF↓SfABαβ∪Kπ5!β/;*βCπ∨*βC↔C|ε'"r∧ ⊗ $~9
≡h≠[nD≠~2l]≤∧P 4o be pπCiSMH π∂&{@↔JAQ'εF\≡6*εLX
∧
9(⊂∃[5{P 7hat @%[ae←β3↔7↔w#@~ε≤,Rπ⊗↑≡VO⊗\@ AQU~→$∞→<Z-|α⊂1`/vereD is Up through1979, a`≥HαβS#∃¬β↔?Cd∧Rπε≥_ ∧∞z9{M≤X8p-nβ"P⊂[wzw:≤β on↓iQJAα≠?;S⊗ ∂Qβ>+K∃α4{@⊗/>@λλ0yur]8∧ _A1KfA ¬aP≠↔≤εBb∧β8<NM8π⊂#≤αh∂ghα`4*+|¬εr∧α→0↔≠2yylK⊂"py_P e@ ` @.βKλ
L9λ∀ ≥Xπs)Z|V⊂ \4¬ando Ro@⊃aSOKα+i1αT∧V ,\Y0≤H):q4[∧@
and Arthp dAMC[kKαa0⊂HαC"N <≠p→≥↔26&⊗βw8" h¬P↔∞hJ≠'≠∞aβK↔∧{@↔λ→Sn⊂ LL contp¬CGh↓←\A&4b~∀~(∪ ke%]NAi!SfAa∃` '∨ βS#∃¬≠Sπlh n2⊂ y≥4s4qZpr⊂$[82v ,icence @→C ←eCi=ar4Tεv␈⊗<XBε}d
V∞w∀ ↔∂ε\8
∞P7s⊂≥42P)KXP8 2ojecT, These included
λ1. The fIp¬ghA¬aGQSQKGikIJA[C9kCXAα ;⊃β6 K'?,ε2ε6\≡G/⊗↑4ε}∩∞Mε*ε≤,6FOLX7'∂,Tαhh)( ,L\Y6$
]8Z-eλ∃→,D∀_;M|\z}%D⊃8<NM;H⊃N-βyzελ&py1H&2q9≥wαEεB→↔⊂)Zvzv !tkr @→←dA~iEβ?pαBαAi A1β≤K7W∪∂#?Iβ4{@∩¬λJαk ∧ vr¬5R∩bπ=→W.f≤Mw@"YSn⊂,jeKYP7`. S- "Z~¬∃α+⊂⊗7,[∩¬↔\-⊗ph!Q#~RλLW∞N⎇`ε∞vDλF.↔\|vNvt
v"¬ ≡6≡∞Dλλm⎇<~0⊗→y9P [2⊂4w≥2y6rY4pz2H40w3]psryCE0∂nthe S-1 -
λArdhur C@¬[kKX0A¬@?⊗+@∨"λ,↔∞↑↑NBb∧≡-V∞vMt¬⊗↑L-⊗/.←!PP@ M D 9;;n<P9`7itch↓IWdALZb@Z4∃)KHααCπmx Nux
∪)!JAeKMkYif↓←@→β&C↔O∃∧∧V ,Yx]∞P0p∩e contai`≥Kα!β'→¬3πK≥zW4∀k _H27q`5m` @;& S'∨ph ↔≡ X LT≥~→/∀~_=LT_Y0∩[⊂6r`2dπ@↔⊃∧εvO&∧λ L↑⎇;⊂~≤β of ebfo@IifAC→iKdAβ##∃β∧ε&}V\8
↓QXεw`6e`λAKαsS'K,¬GJπMt∧fOlX M]|Y+AQ@εE∧U42y2H30∂l@1←ofAβ≠?7∃∧∧F/&≥_ ∧
βs⊂ 4he s@=H @'|≡&*π⎇x MP:40]⊂6p|H50∂`(αβ#π[(h ⊗⊗\X D
8π1`,u` KHαβ'9β|εFF/$λ L↑≠x]∞P4w1[8¬de
λ∧⊂∀*8 m\αP9h→qts )c prodπeC[LAIKmα+3 ? X ∧
8π1`,u` J~(~∃+∧
N
↓h∧ε
πL∧X-n{_=
}H→P↔\α fu@1XAgi¬]IC@⊗!αCπα8λl≥λ≥≠d
+8p↔Y2P∀0\β de@MGe@'⊗+⊃β'ph ↔ε T¬*@8{p∩→P27`#umentXε`∩uJp4(Q*4`:∃( $
+8p↔Y2P:7H)P
"↓G←IJ↓H∂.βY0→_z7q. @ Kmα+3 ? X ∧
Xπt`.th `%∧∧'JπM
↔4→x 7]x⊂0w→∧¬∃@&C∃αO& ;≠|∧Y∧ |[p~\⊂42`!ded @ rA∂Sαyα←',∧F/⊗α≠p⊗→↔
λ¬!β'
β⊂⊃$λλm⎇<~0⊗→y⊂⊗@ base@⊂AP∨9∧εFF* λ∞`@*j7πIhπβ∩αε∩C Hα2S(P⊂εE∃5]⊂⊂λ!)P !t SE-AI
Thi`&↓SfABαβ∪Kπ4εBε↑lTπε∞|Tπε/
x NEHλ∩,@⊂4z~yP77]⊂64eYv8 @Q↑AEJ↓`∂πSO≠⊂⊗∞>Mw/+β"N
→8<lT≠→0~λ4rP%[5{P 7hat @%[ae←YK[K]Q`
βπ⊗)βK↔∂+'K↔ ¬`hUM Rπε↑-⊗}α 9w6/,XBεO4
WαπM∞&␈.⎇β Kw∃Bε∞βY⊂≥42P(→wx6 % paid signibacAnt
@¬[←k]Q`
β?p∧π&FTλ6}wL,⊗∨"∞|W⊗*λiw,<⎇⊂⊂αasketpλ@1∧c↔Mα, C 6↑8
¬D⊃8<NM8π⊂#≤4πst0~∃∃←!\A#,¬fv/>;∩b∧\≡&~∧β→0⊃≤8¬`≤X↓)KHAAC]@?7≠'e1∧ C .≥lFz¬-x ∞
9y0∩↑⊗⊂%"YαfreY Rubin ∃C9HAβeQQcdAMC[kKαa0⊂H!Q'⊗/
x NE[≠∪ {\⊃⊗~4¬c] Fifal rep@=` @" iw$⊃∪∪∧ {{]∞0qz on S-1
*****
~∀% `↔KLs⊂~πM
↔
π X M≥yλ⊂~~2P)`4anfo@IHAβeQSE@'≤Kπ1αLsS↔∪dK⊂≡∞βXp∩H&0q7\αatoRy
αgopked↓←\A[¬]rACMaKGiLAP∨→∧εFF*
5S
π∞-vF.>Abα¬M W∞(~0↔_v:r2YεAεE Tε @)!JAMSIchACIGQSi∃Gike∀ASC]UCXAC9HAmCIS←kf↓MKCIUeKfA=H βSF)βπK≤C'S↔≤εG/⊗T¬PhT,X L@92|P∀8¬bi@8XA)K⊂A!C]=H O/Jaα7π↔#'9α4ε&␈∨ED∧n∂,4∧f.,.VpH!Q#∩rλ8
-↑8ε0z≠y⊂3 /p∧A&Zβ β/9¬α∩AT∧ _ ⊂9tf]v0p∀op∧AM←β⊃αB∩αiEAβ|¬b¬~T∧ ⊗λ9tvz[0z7iβE37`2 YUK
4εA←\ααM%Eαh4*+,∧f .Y>(
.αq4gβE
3,∧A KMSG\A¬]HAI∃EcOO%]NA←α1αCπα8λl≥λ_p↔[x4v %p¬fAC9HAS]QKe@7,∧FN∂LTεf∞βY⎇,≤βryFBαh∂\Aβ##∃αα5S
αβ#"H≡]~≥.⊂)pv]p¬`_X↓
P∨K,ε7"∧,≡6@<=_
, Armando Ro` eSα;W/!Q hSE`λ \αp
o@IrAgo%iGPAα3?Iαα5S
αβ#"JL9λ∀ ≥Xπs 3hπr4Ph ⊂MM Rπ⊗↑8
-Nα9P /d∧AiQ∃`∂* X L@4πrds are containedin v@¬` '|¬0→H)P
"αβ∪ >>X ,]]_=
≥{C"N⎇→<Y$∞~→0≤H40p⊗@∀AEKKαqβ .↑,v.λ≥z.Mλ≤Y.≡9_
9H4πf @∃H ≠}.G4_9P~→y⊂:4→P897Zαect
λi`∨Mα+⊃β↔w#'K↔dπ∩πεt FO6↑-V␈⊗UaP@!α@
There d¬P∨3d¬w?~∞8 m\αP22]0p l o` Ai!JAg←α3S@>≤∧Y$∞{|Zd∞α40zλ4¬ai nh∂hAαCπ[∀hS ↔↔p∧εNv=H
,L9λ⊂∀[⊂7p∀her repkrts i`≥GαcW&QQ hU=x ,T≤|⊂∩Xts4`# proGpa`≠f↓IKmKαc?C↔ ∧εNv=H
,L εEεB*h iPP⊂
a pranqla`)=` β≠|ε"ε7]H ∧∞⎇_;LL<Y⊂∀0yq`!l to U)co@⊃J@ACLAIKg
` ' ,∧BεNβC"NM→(∃%\{y→$ ≠xp~[p¬`≥ili:R\4∀⊂∀
≤zBU↓h∧¬*N=x T≥≠h
5,(⊂⊃[p2P 'eneratkr.Deve@1←aKHαβ ⊗@z;]
O(_↑$∞~~0→H3y7j\⊂0w2βE:42H)z0w→αkrddπe@?αZαεF\≤F.α /∩∧>≥t¬ =99→.47v" ∧AεE∀ ia`S∃⊂1`/mpilEp∧@ZA CgKHαβ?9β&C∃αVαλ∃≤~ 8 m↑~;⊃.⊗⊂4`4 pranqla`)∃`
αB
~εε1∧εFxh.:F∞vL≡&"¬U\6}εUaP@H `@lλ
VSpy⊗@82 !Pdh∪∃5α@@~))Vt@Aβ ~)β]i←9S↑A %Cf@fDf@rrPZbd`Apjdf↓oS@3bβ∂π∪bβπ>≥→bπ&|L↔Jε| ∧n}lL↔JPβ"C!↓AβX∩VSpy⊗@82 1∀49↓JMA
To: csd∞smith at SU-SCORE
Thankq foR the refeRences.
α
λ∞`@*j7πIhπβ∩αε⊂
εG ∧e&Pβ @IKaeS9h@@~))Vt@A~~b↓↓↓hRC &\≡6*π<X LD_(⊂⊃[x8 @=H ↓
≤K@⊗∨]↑6∨⊗α8λ 4ion: A from of nkn-mongtonic @IKCg←αs';≥⊂h ↔≠h⊃N0p∞c@=SgJA!Cee←αK@_h&∪∩∧f≤}Vv
λ∧⊂⊗_qrFE∪7w3@ @¬KCG XAπαα↓eAaβ_4(Q and De` kGβ#'?9⊂¬@hW=x ,T≠yH∞M→(⊂⊃[w:2`.ti`∨]LAP∨→∧εvFN=λ ∀_; ⊂≠4πw @AaKaCIK@⊃β&yβπ∨⊗+∃β←LεFBr∧
v∂_Q(v}g←λ ↑Y<@⊂≤93sy_vp
e@⊂AP∨I∧¬↔4≥~→. (_ ⊂≤0x2`2 phat p aI¬iKfAβ##∃βL∧F.∂4 v $≥~→!QL.-f4≤_< ↑LπFEβEβ∧π0 .αj7πIhπβ∩α∧⊂
&&α2S(P⊂εE∃7]⊂⊂λ(
H@@@~)βYg↑0AoQCPASfAβ##∃β≤¬w.Y8p~λ10 bliogbaphic refeRence th∞Ai!ChAa¬aKd}4⊂∩∧_⊂≥Aβ↓Tn∂%P∞ε$λ &6 2S(∀λβ"JMnHλ∧ |yβL≡Xεr`2 at SU-SCORE
My c@=kegJ↓YSgi%]OfA¬eJACLA∩Ao¬]hAi!KZ\~(~∀_⊗`P5≠CdZβAI↓↓ AE@&Tj¬↓LCWK⊃εK;['& S'?p↓↓↓hRS=iα↓αJ⊗8↓↓↓hR∂WSF∪↔KQ∧CWK⊃εCπMβNs['S.!βWMπ#=β↔∂!βC'*α←.MlW≡ε∨∀ε∂"π∞εjb ≥f"ε QPW∨\|v/∨L\B∧J
\Vw&≥⎇bεODλ
,D∩(∀l\(≡;nT_Y9M}Y(~ T≤Y8,=→<h∂≥⎇+H∧ ~8c!-];8L↑H~4dπ
-⊗L\X_GβEαEβ¬X≤⊗Spy⊗L ⊂⊂_\MZDe&PP⊂εE∃7]⊂⊂λ5pw2\90P0]⊂)jfQl⊂
AIM
I don't know about VisiCAl; I suppoqa i@PAgS[AYrAI∃aKMILA←\A]QKiQ∃`⊂∀ &C↔K∃εK@~ε∀λ ,≡X¬r`4 for↓ShL@↓∩AI←8OhAW9←nAo!KiQKHAε]∩9(\ASβ→β¬βF+π3SGH4+Cd∧⊗≡*∞Mrπ>}-3J∧α(⊂≠[zv27 z⊂40]2P0y\zvr`$ so. Of Cours@∀XAiQ∃rAgQ=kYI\≥h~+⊗)1βπv!βCK/≠W7π⊗ceβπ⊗+9∂QbβCK'n C'3JβK↔O,∧↔ε≡∧ w-9;] \ C"AQR(⊂≠Zv6⊂!→P3v Y⊂:7P≥0r5@ withyou, and I suggest You phone Some MorfiNg
after 10 at↓[rAQ=[@∃βw+7 ↔⊂∧βC+uVβ3;$ w$≤{s,T_9U ↑Y[smd_=⊂≠|P7`&d¬SGJ4∃Uk[ Kd\~(~∀_⊗`@Jj7πIhπβ∩αεεβ#H→)T
α↓_6}n≥lrε←↑@¬≡∂LX LL>#"JMnHλ∧
≠≥` ≡λ∀l%X(β"I≤β⊂4`4 is Conve@9SK]h0A∩Ao=kYHAα≠?7∃∧{WQα≤ SGK& eβ≠|ε"¬≡ ≤6↑f↑Mvrε≥lB¬~T∧+AQR=λ
≡h_ ={]Q-m9;]∧∞~;9$ [|@
-y λ ≥Yλ∩$∞{⎇3 D_{s,T≠⎇=∧ <[u-lλ <
T_;Y↓Q\⎇_/∀~;]
t≥~→$ =Y0↔~w3WεBεEβ∧π0 25≠CdZβAI↓↓β E`&Tj~α↓_ ,\αz4w→βs this sUmmer
To: BFL
I ke@∃`AM←β∪↔/LM⊗v:∞Mrππ↑@λ∞M→(∪ ~tλ⊂-lλ⊂<NM9Z8m≤9λ∩-n→;⊂⊗~qrw1YP6r`%tifgs
`∪\↓[rAGα 3↔≠& I9↓¬β3↔π≤)βK↔nK;⊃βn)β/I∧#=β'"q↓αSF)βπ≠v{W;∂.k↔;S~βπK∃∧{8$ oIβ∪↔≡YβO?n+←#↔⊗)8 (!Q `{π∃Tn∂%Sβ∩αεε∪≠λ→)T~α↓Q%&{$∧α∧4iDααα↓Q%εf\≡6*εL\6␈⊗≡LRε⊗⎇≤W¬←wε"fV\;Rε∂4 ∩εf↑NF/∩ ≥f"π<>&N⊗T
↔"pQ!PP`@l
+)\<K ≤ an you supply?
∂10-Mar-82 1229 JMC
To: csd.golub at SU-SCORE
Donald Perlis, whose resume I am forwarding, wishes to apply for a
faculty position.
∂10-Mar-_2 1543 JMC
To: GHG at SU-AI
I have no idea, but since he's 38, maybe he's too old to be a son.
As yoe may remember, there was a numerical analyst named Sam Perlis,
I believe also at CMU, perhaps a relative of that one.
11-Mar-`d@@`@`lβ∃5α@@~))↑t@AGgH9O←YkλAChAM*['π=%
@~)∪\A[dA←aSαs'?9bβS#∃π≠SG∪.sQβK/β?KQ∧¬vr¬= ↔εO-tπε∂.MGJπ,\ff.>N2ε≡⎇n6/↔l≡FO≡UaPDNβY→,\λ≠∪l@tqP8≤5sq0[vpw3H27ryH53r d¬ShAαK;S=∧εFF*
8
≥Y[p→→⊂1zi≤αicuLum as i`≤~)]WnAα+c'O'→9↓αF{←π[,ε"b∧∀λ
9Z`⊂~z⊂4iH0s⊂ )mpobtant @9KnAI%aKGi%←\AMα{@∩ε=x .∞αz2`2
sc@%K]GJ8@AαAα 5β;|εBπε⎇tε.wM∞W=88p~~qP0q≠zz⊂)Z0x4`2o's @%IKBA=H β∂|¬f≡9]≤L≡~;YaQXπw distributed co@5a`↔SLs⊂~@λ~≠n|=Y0→ α But then he made qome@QQS@;8∧ε⊗/NLW$≠⎇=↓QXπs⊂→2q2`'ei`≥NαβS#πpα%βSF{W>∞@πε←>8
,-α2WεBα α λ∞bb5≠CdZβAI↓↓α⊂∞&&b2S(P⊂εE∃4π: fei@≥K]ECUZAC@ ∧¬≥316¬X23 ⊂λ⊂⊂εE⊃p¬`≥J↓QCfAα+3']_ L≡→9⊂∀t0p⊂@%` :βλ⊂⊂[2⊂$P≥44w5H844`3 is @∧AE@'8∧εnO>L⊗@<αW⊂⊂∃42P ,ack
o` Agβ#W&]nBε.β]~∞↑z8<mT≤y0∩[yP:7H92s ,ect @∧AG←]MKemCQSmJAα S@&≤¬≥,L+Hλ
=_8λ )p¬P≥∨α1P@-8π:2\αests do @MK@↔Tλ n 8z0⊂[⊂3t`6en what i@LAGkeIK]iYβIβ ↔L¬f 4≥_=,@t:⊂ !t Stanf`∨@⊗!0 (αX].D≥~~.P4p∪ hh∂nAα ;eβv+]β≠L∧Vf"
H m⎇|h⊂⊂]⊂:42H12st[4ε`∪]≤AMe←αiβ@& Tε␈/L∧p∀Y2W⊂⊂∩F@
`)!S]@-¬≠#πCLε&zε ≡2ε
∞,Vn∂-<⊗⊗@→(⊂↔≥vq2`2 h∂LAβ3↔Ke∧εvN→(⊂→_w3t`.dεAC]⊂AeC@&C↔Iβ≤¬F.∂!Q&N→8<e@⊂⊂$P→|892\βsed↓`∂?7*β∪ ?\.G4≥≠h
8εP !bh∂khαβ#'M∧¬⊗w→<Y.z⊂4`. dic@Q` ' αX
\β"P⊗≠pπic pr`∨OIC[fAα ;⊃β>{Qβ¬∧εf/↔∀λλm|βrw:λ92x ,y which I ca`≤AMK]HAβK?UβL∧bπNβx
FBαh SW∀X ↓αJβ←?9?!β ∃∧∧↔"πM R∧n≡,6Bβ4⊂λ
\αrz4[3R⊂ 3o @∩Aβ;?;∪,ε"εNd ⊗␈* ≡&*ε≥l6fNβY0∩βE:7P≥y3rP_P92`#onsi@⊃KeCI%←\\@↓∩Ao←β+3⊃β⊗+QβSF QαO& ;≠∨⊗!β'Mε;?'lpλ∞MβP6 /ok v@∃` dQ( m≥≠≡( ∀→Y0≠H<rpy≤β from no@\ASLA]JAQCYJA[Sβ≠G.Dλλ$ z_;L<αP:7H3rz∀t0p⊂@%` -_hP4){ A67∂⊃5aIα↓IEE J∨↔lT∧>}LX"βD88Bd≤βs∃(∧_9⊂∀hVaaSi"W [To@4A SKβ#S↔KL∧6BβH:4"tI_U%$X∧R(d⊂0zλ)jViPdπRE>8∧A QUHA2\ααO#παλ
.4π s@Qk@∪↔w!β'≠&+@↔X∧r`7]
Date: "β↓α7π⊂∧β Kαλ 2111
PST
Fr`∨ZβQα>]lR∧≡⎇H
,$∂⊂thEQss
XH_=∧
u+4hdπRE>
Su@ UKGhβQαnS|¬R∧ε≤X
∞L<Z0⊃Z⊂≡!iQ↔"$bU*"`∩I@π⊂ACPA'*[Mβ⊂≡J+q`∩∧]∞V"¬∃`λ
=_8λ )p¬P≥β≤εG.→;]∧
9]→.8ε`∪Kβ:t4*Ms@$~[8d =λ∀jUα`dFBαλ
*n '1Xh M⎇,¬⊂!Tb∪"$Qh∧TERIC@⊂Aα≠@⊗.≤LV"ε≤¬⊂λ≠⊗fp\α-0⊂@⊂∧β C&"∪@& C"HL=→.D∧
H∪,≡Hλλ@982 "βAIE6¬~P (αQP→≠vX
Tom Diette@ISGP@q∞N⊃t"&⊗R$*J&∞@∧ε∂"λ∧u%ZpstHW@εE)]q0
e@
htA αCW" ∃b¬≡ ≡εO⊗βh⊂→]8¬de@9hAS]QKemSα+\4*Ms@$∀z_.
<[k-≥]→0→≥4r{r\αs: ;, cs@⊂X ∨?dεV∩ε≤¬⊂∀h¬-@'
_∞J∃bβ∂O⊃w+3 &\≥bε∂D
5*@4psj(αVεEλ⊂⊂⊂ #pπX@;d∧⊗w≤¬⊂ !t S@*5'π∂%∀XAGgαa0⊗Vβ~⊂_z⊂ ∪U-SCORE(λAi=DAC@ ∧¬≥+02%D≤X sλ0z⊂)UT¬AI
λ¬GF@Rα≥≤EhDL-JHU∀L9λ ≡λ⊂ jKiagi⊃T∧ c@MH]@+2βπQαα:Rm≤9z$(hαC"H}Xπp∃@@Agi@,∧F.wDλ
-nα2y;~p¬w @]SiPA∃Q`↔⊃¬≠#πCLε&{Pβ"C!(2w`0le p@IKgK]Ppλ (αTZ,=λ⊂λ !tp S@~↓"J⊗α¬⊂hT]_λm 9;λ <αp∞nipπi←\α↓#∂O ¬fo≡5⊃P@+8πw0]0p∞ Malac@!R@@"β→RHhαRy-d⊂{⊂⊂\αkso@8@Q.d→$4(L↔6*λ∧{-≡~λ
>y \m]=~∀CE*7`- Spe@9G@↔IαBR"MHh ∃&⎇PλλM9=≥ ↑X∧q`( (cs@⊂X ∪',εG&/-_λm¬ εEεBαShapir`≡Aα≠?;∪αXλnL9λ⊂∀~vyr`,d∧AoKαc1β'p∧ε∞w>|W-8π3@<βome pretty to@UH∂ 4Tε↔.<⎇~-⎇\h⊂∀[1v0∃@⊃S]NAαkπ;e∧∧F/&≥_ \α⊂8zYyz4`/ns about @!SfAo=` -d∧¬&FQQ'>≥9→-nα9P 0p¬KgKαsQβ←,ε&*ε|X L↑X;⊂⊗≡P60∃@-JAoCIZACE=khAQ%ZP⊃βF{←/lX E@⊂⊂ ∀here
was @∧AgK]MJAiQ¬hAQJ↓oCfAα βGWL∧6@5αp
i@9IKHAββ↔KO|¬bπz≠h∞⎇⎇;⊂∩λ27P 7ell @%\⊂∀,¬z ≡→=P∩\α probh K[LAQJAα S@&≤8
l\α⊂∞ Hh∂oKβ3↔I1∧¬εO~ ≡&.
x D
8π:2\αest↓`∂.]\V @ ¬0∀o be @EkSiJ↓]Ce@⊗{←3@∀λ \β0 ned to be @!I_∞ $βq`≤≥Yλ⊂⊗≠pπic pr`∨OIC[@7L¬f 5β⊂⊂$[∧¬∃@⊗+@∨ε⎇n6*πMtπ&FTλ .\αyz4[w⊂0q≠zz⊂ 7hat @!JAo←β+3⊃β&yβ'→∧¬ε*ε<≥V*πMqP@*⎇_;L@4πrd0AQJAα ;O←,ε&.λ≥~ ≡λ~→$∞βwp∃@1HAYKα [∃β&+ @.|⎇⊗v: h n⊂0P 7hi`→J↓C]H~)S]gi∃C@⊃β≤¬vv≡]nG,=→(
⎇H≤⊂⊂\αa`→Yα+1β↔F+∂WSL¬vrε|d¬¬∀yIt:π∞-v >X;<d 8π2;w
@¬aaYSα≠πS'|¬g4≠yH
Ss∪ht≥≠h M<⎇≤M≤]=→,D_{p⊗\8¬ti@9H
2∧ ε*ε≥H mt→>≤∞2yy`%d a
desi@IJAi↑↓G←YYα ?,≡F*π⎇_
∧≥~→$ X8λ !nese Fifth @∂K]∃` πSL¬vrπ∞-v@,8⎇β!∀;t4Xt⊂2`-pha`'αKk↔M∧¬F}z8h∞∞Xπsy_vp
i@9H
%9ααS#'α4ε∞vDλ n\\y0_]p¬`≥hαβπ;O>+@↔_Q( l≡Y(⊂~\β the i`≠aβ∪↔OOL¬vrπM ↔"ε Tπ>∂4λ -}Y(⊂∀[8∧erepπiKHαβ'9αα
$`9α ∂Gthan↓S\4T∧⊗wJ∧,6}o∞X
↑H≤p⊃Zp¬`≥Gα)∩π∞-v⊗@→;<e@⊂⊂$`. fac@PXAoJ↓o@↔K*β; ?Dλ n↑Y(⊂∩↑0qz6≡F@
ghere @!JAo←β+3⊃β4¬↔"π⎇_
8π⊂ 4he depar`)5K]h\α↓α#∃∧ε7&∂LXBπ~_=∧
→(⊂∀\β no@PAC@8hRε%β∧∧W.{{@⊂_w2⊂ $isagre` fAβ;'S!∧εFF* 8
.92w:λ dP -etho@⊃←Y←OdX ↓α|¬bπε Tε␈& X AQX∧0w→⊗⊂42H4yP'≠z⊂92Xv6<P_w⊂&j⊂β pe@I`∂?9p∧α∧vβ|@⊂_wzv"λ8πe @IKCIYdAG←]MS@∪↔⊂h##'hβ¬βC⊗{↔Kπnk';≥εcπ;∨. ∨↔Mπβ↔KO|q9↓αFKEβC⊗K7πKJβπOO-!β≠?⊂∧π&F≡1PV&↑ ↔↔&\]g"π⎇zVf" ,Rπ& ≡BεFT∞v␈.LDε⊗* ≤&f*∞Mrπ&\≤6B¬
)td|uaPPH)yf*ε≤,V
ε|dπε∂.M⊗∨.L≡"ε≡⎇l6/⊗d
v∂~
↔
ε≥n7>/$
FzπM Rπ∂\X nM;{H ≤[⎇=↓Q]→8,=~;Yedλ∩→$
;Y~,<=→9∧∞~_=∧
→(~ ≡h≠Y.l<H∃ ≡9z≥∧ ;Y∞M_=
(≥x.4≠[⎇↓Q]Y<O∀→;]
∞<z8.>~8h ≤[⎇=∧∞→88m
;Yc∧ ;→~
}9zλ
(≥{n]→λλN∞[xX,-≡(≥∞/(_;LA"Y≠d∞y;≠∧∧≠{H ≥↑(≥ \8z~-lh_<n=9{[,]]λ∩ T≥x<d z=Y-eHλ∩ T≤x:,D~→(∞⎇⎇;→↓QY[p~λ;pw:λ:7P:→pqt⊂_P⊃1w\2P dH⊂1v \ySεEβE)zv[py<]λ⊂77P≠w2P3→v:⊂8_ompuTing, hkweVer. @p hAβ##↔d ε*ε\≤F*π=x ,↑~~3L@P12`4ter @=kh~∃α{⊂∩εLXλN\βstg→β than @∩Aβ## ?\⎇π"π
z7=8[⊃%@∧¬α
λ∞bb5≠CdZβAI↓↓α⊂∞&&α2S(P⊂εE∃5]⊂⊂λ1yr.dπ←YKλAChAM*P⊗N≤zJ*↓Q$Jε ≡f*ε≤∧p∃Yp⊂"bλ!2t`'enbaum to hed` m`
Akβ∪⊂≡(≤Y,={\r,L<X=
≥{H⊂↔[⊂)t0\4y7P≥tz4εB842P→αh∂YYα{←'lp∞AQ@εE#Yw2P (as e@1S[C]¬iKHAMQCaSβ∪=!β∞s⊃α∀λ
9Z`⊂≥44qP~yP0@ big Mistake( @AQQJAYα ∂,4T¬v $≤⎇≥,L9] ]]~≥.tpq`- see@5`
βSzβK↔≠d∧V∨" ⊂λ ={\y.90z4]2P0z≥4z2`$e* Shapi@I↑Of~)S]iKIKgif↓I↑Ag∃KZAgAKGSC0AOSm∃\AoQ¬hASf↓Gkee∃]iYr↓EKS]≤AaCK≥QhACPA'iC9I←eH0~∃EkPAiQSβ→β'MεC?]β∞seβ;,εrε6≤X D≠≠smyP0zλ:42P_2stg≠4s3@ drom the outsiDe* I
think Shapibo has a remar`↔C YJA]U[EKd↓←DAm∃` eβ>K∪∃β⊗ ;∨'v9βπ; βCπSF+Iβ∂d∧V∂⊂Q)⊗&.≡5bα∧∀λ /∞≤Y<n<9λ∀m⎇9(→
}8]≤d∞≠h∩
≥(_8M}=λ⊂∀~yP4g≥2y2y]⊂4w distributed
αlodπSFAAe←OE¬[fAC9HAO←PABAmα+@↔J 8 l\9]λ∞ <≠⊂≤H;t4`#h A @
C\Ag∃]HAs=jASL↓s←j~)YSGJ8@AαAβ;?9∨ ∧ε⊗* ≡Bπ& T∧n∂,=αβ≠∀ V.∂M≥f:B∞9r∧J∞⎇vv&↑ εN∩∂≥w*ε≡,RεNl8
≥Y9β!.≠h≥.,y(_$∞Y8{mnz9→.,=~3meHλ∩$∞{⎇; D_Y=∧∞~_=∧
⎇_;Lm|Yλ
≡h→{m≥Yh≥
t≠≠sm∀≥Y4O⊃"\r-M≤(⊂⊂H32{P≡rpy9H397vH77{P~s⊂;rH40{ % missed a chance to gat Shapiro.
λ∞bd5≠CdZβAI↓↓β EL&Tj¬↓LkeβS⊗KCMhRS=iα↓α
~b↓↓↓hR≠?I∧ α3'6+C .|,Rπε↑.6}vlX ∧∞y8p~\4z<P≤zryj~ww70Zy2V⊂∩P72`%d to listmy¬
@→←eKSα;9βS⊗KCM→ααπ37⎇≠Qβπd¬Bε@yH⊂~~2rP$_{2P "ea`≤AACSHAβ##K∨,∧vB¬>L⊗v6|,B`HαX;LD≤{h ←≤→3N≤(≤Y.
βy29H2|4`3t. Plea`'α)β≠≥lBε@⎇=⊂≥t0p∀↓` ↔∂|ε&'~ X∞
≡⎇ @⊂λ$@
@9K@↔⊃∧∧F∂&↑4ε∞vDλλm};]≤M≤αyP 6isided. I a`→@≤yβπTλ
.tp∞g↓iQJA9←iCI%←]fAαK8 (α[>$∞_8 `3ph∂eILXAEKβ!β/;*βCπO≤εε␈↔Dλ
l≡h~0↔λ0P9`4olen↓P π∂↑+Q9↓¬##∃β'∪'CM∧∧F∂&QQ&⊗∞=0λ∞MβP⊂@945. The @5←ghAαK7C?↔#π;Q∧∧↔ε*∞N&Oπ4λ
t∀X
`3pπSBX↓EKGCU`∂*∞Mε(hαT].ytpw≤β do@8OhAkβ≠WπMK∩π∨L≥WαπM Rπε≤∧p→\4πr`(αβπ;⊃∧εG-<≤h ,=→y,]H⊂ `%ppλ@9β e@3qQ&∞vD '.gα( '⊗βY⊂ &or which @QQJAaα @∨∨
x ND~8 P≠tyy`)ng ≤@↓3←jAαk'>∞@λ ≡zh∀ ≡≥_ FB+ww`$ p∂QCPAeKGα{@⊗'4λ m (≥~
≥X¬yP≠tst:λ12P !va`∪Yα &UaP@!α@
λ∞bd5≠CdZβAI↓↓β→MD→)T
α↓Q%&{$∧α∧∀iDααα↓Q%ε@→8<lT≤≤Z-nλ_ =|≡(
|H≥;-m⎇K\∞,6⎇fε%~[8kT_;Y∧
8:y$ε(_p↔\4ryWβE
12-Mar-`d@@bHjn∪∃5α@@~))↑t@A%!∞0A→∂ε@@@~)β -∪
7.p@Y∃≠πtAG←]QCSMf↓g←[Jbr`@↓SIKCL\~∧~(_⊂≥E∩j7πIhπβ∩α∧∩3#Hα2S(∀λβ"JMnHλ∧ |yβL⎇{≥0D =λ∀jU4psj((β"H≡h≡0↔]P5w7]T⊂42H3t{"\β an↓KqGKαc3↔≠ β3↔∂'+C∃9αα%β←Lc1β∂∞c1β#L¬Rε∞βY⊂→|86 /p¬J4T∧g/↔M W$≥~→$∞α2pqZ4p∞g↓ckKgβ#'?9p∧α∧NβH⊂⊗↑P7p⊂@%]S@?p¬BεFTλ
m≥≠λ⊂∀[⊂30q]⊂12P≠w2P /d∧⊂∀-zW$_Y0~≥2y⊂ 4eachep¬fHAα∪↔∂π,ε6*ε TεO~∞8 d∞βrv , h∂eO¬]SuKα!0∩α _ D
~8h∞L88p∀~w3FE≤90∂`-α+@~π]n6∂&≤8 L≤⎇≠p→≡T∧ then we don≥hAQCYJAi↑↓` ∃7∂βC >≥nB`!α@
λ∞bf5≠CdZβAI↓↓αε#≠λα2S(P⊂εE∃4π: rah↓ChA≠ 6¬hR'Qβd¬v}←4λ
≥y(∩$⎇≠λ⊂∀_{2P 4o be at Hoover↓CYXAα#πeβ&{7?Kα-w:ε≥H mtλεP 7ith
Te`→Yα+@∩r∧
ε/⊗α_<∞P 'll se@∀AQSZαβS#↔⊗)0⊂@ ¬εEβ∧π13-Mar-`d@@bXjjβ∃5
↓↓JS#πv[Eβπv!βCπ⊗ 3#↔bαCK∨d{⊂~α↓Q%&{$∧α¬$x λ∧∧λβ"D↓l,+)\<K ≤ ⊂⊂_@124 EHu` Chapibo 8Shapiro at IALE6 Thankq and paralhel ProlOdε@@~) CiJh@@@@DbP⊗7∂⊃5aIβ QIIl*NP4T3C >W$αααλYπ.λ∀z ≡~<[dπ∀z_.
<[h ≡λ⊗0)H-C"J>8ZQ,>∞H∃
9Z|d 9Y⊂≤0y0v≠2r⊂(≤5v7sCE*7]λ⊂⊂⊂⊂λ%0
c at CU-AI
cc: ShapiRo ad↓3β→
4∀∩¬)!C]Wf↓MP∨I¬K?WI∧¬ε␈∨
~F∞f≡O∩rα ∀ε6←]lB¬∨L≥f6␈,Dε∞r [εO&≥lrπεL≤6*b .W hαX;∞=h≤=-≡→(~-n→;\lUHλ∩$∞⎇~;
D→≠{D}λ~{M}h~9D (≥z ≡λ∩( l;≥∞|<h≥
(≥→-nz;{AQX<[n]Yλ≥
dπQhA1KmKX4∃P∨→ε OS⊗ ∂S'|qβC#,π∩ε&tλ M}λ→~,@32y),∧@A∨9JASf↓iQCHαβCπK∞c3↔D
π-βv7`' can
λ¬EJA∃qKGkQK@⊃β4∧↔∂&↑ λ
⎇H_ ⊂≠zp di-pro@
Kgg←β⊃β .≤8
≥Y+λ∞≡8z⊂_yP:4→P7w2H:42FBαJa`!α ;↔O*βπK∃∧εεf∞β[Z-lh≥≠d ]:0⊗→↔⊂⊂*~2P7`4her @%`
βSF Qα∀λ
8π5@ tha`(αβ∧4,hλ.4pw:λ4πf Pp¬P∨3|∧rε@8:( ,(_ ⊂≥2y4P≥yrs 5l fo@HAS@7∧c↔7↔w#';≥∧∧FO∨L-⊗↔=→0∩βE0p⊂@AYSGCQS←]f8@A' ∧π&@{z`⊂≠p|P ! shi@1JAi↑↓` ↔πd¬↔V*∞MεO~βλ⊂⊃≥z⊂:4→P6w`2e @∩~)iQS],ACE←β+Qβ'α@π&FTλ -}Y(⊂∩↑1tr2Y⊂ @ KG←[∀p ↓βL¬bε&≤:G-8Y0~→p∧ ∨@∧∧↔,8ε6 %lλ
*∧ε&}f|pλ ∀→{p⊂[⊂1w`2p¬Kgaα{;∪M∧εFzε∀λ ∞4πce@MbP⊃β∞s⊃β¬∧ε6F∂,XBπX8Z,≤Xε2P_2z3rYw
@Qo↑AO=CYfAαK@~ε∀λλm⎇9=3M≤x9~-⎇H_p∀_w0∞e@0AEKi]KC@9∧επε@xy0→\p¬s.
λλ
*4¬w$→>_-↑≠→+∧
→<Y$
<h⊂∀≠{P<`/u wbite a↓[k@3αM↔ε@→>→.¬λ≠9.3rT,≤β( 3F10 M∃Dπ&F≤¬β!
αry3YyP:4→P:3wH4p∞put streaes Xs and Yc into one @=kiakPAgiE∃CZATε3@!α@
m` eO∀Q7:Ym:P∩nh¬∩`!α@
mepge([X|Xs],Ys,[X|Zs]) :-↓[@↔K>)"cMeKE"k~I0⊂@ ¬6r\3rT,≤β( 7∪q3g:Ym3q5gtR@tZαβ7/,|REG5K↔5α-1TKαλ
(hRπ3↔∂∪3e1¬β@⊗↑Mx d}h→0≤→qzz4[w⊂6rXt0w4\vP;w[⊃z⊂ $o he@IJtAi!SfAaβ∪??,≥RεO1Q''↔]H∞$
Xπw2→z2y6Zw0y`4ic$ @¬]HAi!JAeS≥Q`AGαcπWO*β@≡F|YF"ε,TεNwmx
l\λ_<d∞{{sAQX<h∞M→(⊂∀[8:z_y94{→yP7`. the channel iT readq from( @A¬Yg↑X↓[←eJ↓gieS9O@↔≠ h#πO≤K↔;7,sQβ?2↓ .|LW
∩∞Mrε∂,}Vn∞β]≤d∞z≠u-Lλ_Y$ ≠{Y%D≥≠h ≡[z1↓QXεzv≥4x6 %-wriTers ConflIcts.
λ αC@1Ce@-ε ;⊃α?∪↔∨?↔I1β'pβS#↔Lε"πε≤λ .⊂4w≥42P PdP1`/nf. on f@U]GiS=]CH~)YCMOUCGJA¬]HA[¬GQS]∀ACeG!SiKGβ#WK∃αC≠K?jβGπ[-∪π1βn{;S#~βπ∂=Jaβ∨'6)βπ_hS↔cπoβ3∃β|1β¬β≡K7C3*β?C↔⊗ S';8βGgO&+5!β>KS!β';=βO∨∪↔↔;~aβS←zβ/πg⊗{πK∪_h+π≠ β?;∃εk?;'&{I1β⊗ O↔⊃∧{9βSFKMβO'K3∃β|∧bεF≥lFfNlpπ∂',\⊗o~aQ hT≡Dπ∞.]↑2π& ≡Bπ& ≡Bπ& Tπ∨'≥LRε}d∞π⊗}},⊗nn≥lrπ& ≡Bπ⊗↑:Vgπ4λg-{(∃
<c"L≡≤≤[l≤zλ∩.P⊂λI think) called Object oriEnped8@Aπ←9cSIKHXAM←β⊃β↔c∞kC#∃`h+C#*β∪?3d{←'≠8∧ππ⊗|}&∞o4λf␈∩∞:F∞≡4λ⊗v"∞≡V/.T
V∞v≡
Vf∂M→vrr∧
FF*∞>F∞≡1Q'π⊗|}&∞j∞,V≡.≤hW
ε\↑7≡∞|↑2ε}d∞7&∞=0ε␈ε↑,↔&N⎇n2bπ ↑&6←-↑2π& Tε␈ε↑,↔&N⎇aPV∞βY∞ =≥4Md≥~→$∞Y<⎇-N C"AQI(≤nL8zb E⊗≤j$πK(→.l;→8.L(≥~ T≤⎇≤L\;(≠lD≠9<n<9y<d λ≠{D∞⎇_8m4⊗≤kAQA"TnL8zj ;+↔j%a"\⎇ ≤zj⊗n
|
⊗¬∨⊃↔+ ≠∨⊗≤kU(∞K$∞⎇_8m5∪ ⊗∞5+C"N>_8ze |≥<m¬⊗
? K+⊗≤e∀∞K(∞>_8ze ⊗v∂K≤w"%a"C"JM→(~-m=~8-M>X=
≥{H∩.]⊂⊂9]0quT∪⊗-nTK⊂;t2\2P&⊂~yP:4→P9z9→pvP7Y⊂6ry\psryKεE v≥47zsZ⊂9z0XuP4yH0P⊃3[7q0vλ⊂20z_P9z9≥qz:i→V⊂:4→P897Yy0vP~yP3*[1z4g[0r⊗εB;tz4λ73P"↑864aZz⊂9tY2Vrc→2qz9K⊂*42H9tr2Krs3"Xz⊂0y→P27w→P:7P≥42FE≥0y4pX62P']rw2bλ1<P 4he pRocess "stack".
The answeps to the massagas are retqrned inthe var`∪C YJA⊂↓IWdAA←`Q⊂$X∩¬AUcP@"@Iβ'M∧SWOQ∧+c↔∂/#↔⊃⊃¬;'S!εs=βK/≠C?;≡)0∩α
MεO~ 8⊗rε\≡6Ng∀λλLT≠;q
≤X91↓QX∧s⊂≥42y2H4yP0H52rbλ33y confIph Ci%←\\@↓
WdA∃qC@7εc∃!β|¬f*ε<≥bε∞L@π&FQQ&≡f≤X lQ C"N≡_8re |≥4m¬⊗ ⊂↔Zβ)|L],Xs) 8- sTack(L,[X|Xq]).
λλ
*>C'∂!∧εvNfDλ L↑|≠p↔→⊂∪weIP4w X to the Message puSh(a,X)(λAo!K\Ai!JA[Kβ≠Gπ∨(h#K↔≤∧VO6\@ε∞vDλ n\xy0→\q:v ,y proc` ggα+⊃8Q!P@@ R0~λ4p|P≤p¬em↓H ?,-⊗&Nlpλ∞MβP4`.voke a ne@\Aae←α≠↔OM∧3?Iβ,εf/↔∀λ nL8z`⊂≠x2y0]4swεB∀0w2 ⊂:42[y2z4Xpr6,H:40z yP;t_z⊂:4→P9z0XuP8 2ocram doeS)(λAEUhAQKβ∪∃β∧hS;↔]∧∧6}v<Zπ"ε=x ,↑h≥≠d
βzy~2p p: tail-reCursi@=\A←AQS[@'T∧↔&N⎇`λ
|βαE 3eque@9iSCX↓!eOYα{⊂~ε\≡π4~;]
tλX⊂→≠qryiKwx:4[t⎇0z~ww⊃ in diqtriButed
λ¬!e←αc?
iαβ';O&+π"
x D
9]Smtp∞g↓BA]Kβ9βCK|∧6/∨4λ
m≡~λ⊂~~2P72]P9z0XuP @AaP∨∂,ε7λh-zπ&Nβ:0≥_z4wgλ9tv , retain the olD pro@
KgfX↓EchAβ;'31∧¬V}ε≤k∩εOL4π6∂-_λ,-α2yVβE0 .e,∧ASiL@Egi¬iJDX↓C]HAβ##@/4λ
-l≥8p∩H0p∞ @%[aYSα≠QβOL∧F*@99P∪→qz↔εBαλ
*∞cS#?αXvBπM Rε∂∞λ M|8z⊂≠2rr9H9x nchr`∨]%uCiSα{9βC⊗K7'SLεf/~
mw"ε≤¬P⊂Zv0q6→F@
i@8AGkeIK]hAA` >Mx eV, λ∞tp
p@1J@EI%`∂SKL∧'/&\@λD∞≤[p∪\αa`≠f0AgkGαAβπM∧εFF*
x LQ YP↔\α stack and qe@∃k@∃↓F∪↔3?8¬∩εn∨∀π∂&≥H ∧ Y(⊃/ 8⎇5 \λ→~. 8⎇≠∂∀~;@⊂~z⊂∞ Fkr
example2
| ?- stack ⊃←βWO!F % '∞Z6BF%∃Gε←¬ αJ@≤≥<m¬_j+∞
|
⊗%∃α87`0(Z),@AkgPQ⊂RQa←β↓"]εhb`≥j∃aP@@ ¬+@∂P2⊗εB,⊂⊗@ b,
Y 8
AF0~∃ )βiβ∧Q!P@/9<c!↓α@
Queues caf Be imple`≠KαsS↔⊃∧εvO&∧λ
(≤p-\αP2`!pπ@∃9ααβ↔3|εrε∞dλ / 8εx6→P7s⊂_P8z`%ua,
pπSKk1CiKHαβ←'S@∧ε
α-H↔WJ
H
.≡λKC!∧β"I$∞=90~YT ,Qhead1#iCSαa%↓ih∧ε/6≥JV∂&Tλ
(≠⊂∀\βt o@_ASKgMC@∨↔~α1β?p∧π∂.↑X !QI(⊂≠Z5yrP~2pr is Qhead @¬]HAi¬SXASLA#iC%X\4Ph#GW,εV*E9QEzeu∃`hW≤X .\αT-pY2⊂λX%y→:YEQKCH10∞c@J≡F∞Nβ↔*$πK(∀.\=9* E∀:→,≤α⊂ Qtai`_R8~∃cKα+W¬"←∪↔7∨4)"a'βIEj@⊗v∨
≥→89 U∀9_-≥λ∧P≥ P8z`%u`
Q_1#QKC⊂Y#iC%XR\~(~∃)Q∀AS]Sβ#'π1∧∧6∞fD ↔4≤=1.\*∪
≥→89¬J8→0,E+Hλλm|H⊃/ 8εx6→]αEεB>⊂∨VH8zr`5e([add(a),a` HQλRYeK5←mJQ`RQeK5←mJQdRQCI⊂QF@%dε&.n}hRER≠UE
E∃∃`hPβ"V∧π(_#↓QT(∂$ Kβ"K$∂(⊂eA"T(πT⊗x+ %_␈↔f6l7#!! C"JM→(≠-|→(≤m
⎇;⊃∧ Y(≤.\=9*¬5 +
e∃λ≤{d∞≤↑2-lh≥≠d∞Y;;nl(_;D ;→;,]]β"Ln[{( ≥H→0⊗\:<P(]pzrP≥tr6⊂≥4sv0]2P:4→P6wb→P0w2λ42w1YP30t[⊗⊂7yλ90tyYP0wεB2|1b\:4ww εEεE∩4πwever, Without moDes, RemovE(X) @=\AC\↓K[aidAckKUJ~∃o%YPAk9SMrA`AoSi AiQJ↓Caae=aeSCQJAKY∃[K]h↓←LAi!JAckα+W∃β>C↔84V+;?W>Aβπ∪"β?C↔⊗ S'?w→β←'faβ ∃ε#?;∃r↓α≠?∩β↔cπoβ3∃hhP4+qβy5βG,+W∃"↑ ∪⊃#λ¬∩g⊗]]w6* ¬∩g⊗]]w6* ∃∩f∞LEε~JN,Vn␈lU¬RMβ+∀%J*+C!!"VλπT_+β!+( 5β"VDπ(⊂∂XLX∩εE∀P≡P-XT∧c,←110|←345@:4∀~¬)!SfASLABAGUeS←kLAEKQ¬mS←d8@A∪h↓[@↔πw→βS#∂!βS#-∪∃β'~β;=βv+↔⊃β&x4+ONs∂#K}s'k∃ε ∪⊃∨~βπ;⊃¬∪↔7?4)∨M1∧ ;⊃β∞seβO- Wπ≠≤)β/→π##↔5¬;'31π+;'≠Hh+C#*β9∨S@β↔3↔n+;Qβ⊗+7?[.!β←'&AβS#*β9∨SBβ↔3↔n+;Qβ∞#∪↔⊃bβ↔[↔rβ' β&C∀4 ⊗+7?[*β?∂∂-∪↔⊃β⊗+∪ ?,Tπ&FTλ6␈↔,↑7ε}lM⊗v: ≤F"pQ!PDNβH∀n]98<O∃α⊂$P≥44w5H:40zλ0r6⊂≥tp l bene@→ShAMI←ZAI%gieS kiKHα{CπK∞c3↔0hRCK?d{⊂≠R∧ ↔"π⎇≥Fbε]l⊗⊗fTλ∩π⊗≤=ε/∩∞
&}∨,≥VnNβY`⊂≤βtylE, faster @∃qKGkQS←\~)←DAaI←GeC5bXAC9HAC\↓S]Ge∃CgKHαβ@⊗∞βYy$
βs⊂ \864`#atioNpεAiQ¬hAGC8AEJAM←YmK⊂~∃oSβ#!β¬∧¬εN≡ X D
α2{ %l laneuage,∧⊂∀!Q"αα∧∧ααα¬QR¬.M∃`hRUQRjjUQP@Hα@↓AβXYVSpy⊗@82 $β↓QH→)T4λλα,≥≥;:-nαp
@A←oKdαβS :∞Mε*π X n
α2P∨
Tk: hlg↓ChAεD[α@~)∂πdλ
<h⊂LWoc"HL=→.D
~≥0→≤β` C@Ja↓Qα4∧V↔↔\≡'Jβ↔↔β∩α∧∧ ≠∞α46-PSPλ~∃→` >U$∧\Lhpλ ≡λ∩q*:α)"fβE)z`"h¬KGhβQβπL¬0⊗Zw:v@ ph∂oKβ⊃β@&tλ
(≤⊂∩[x62←CE*7]λ2p∞e@IH∂eβ∂!β .α8
-mc
@
FtA↔%]NACPA↔ ≥"Jε0hP4(→∀εF∂lTε
ε ≥F %8X:l\α⊂4`$ea.
∪→α ←K↔v≠∃αM_
L↑Xεw`2e L@¬Ef@Aα≠3π≥↑2π≠hλ ,(λ⊂↔[⊂:42H⊂;2`2dπ@∃↓∧¬v $λ_;AQX;⊂~[tp∞uM-a`∪@∩β πSαLW/(λ⊂~~0z⊂ 7ou`→Hα↓β#παh $ (λ⊂→_w3rP≠pε 1500 @5SYKfAS@9αβπ8Q( -L8⎇≤M≤h_p⊂\α, o@8@nbAαc 9β|∧bε∞β_
`-inum8@Aβ@ π∂WKα,Vwλ≤⊂→~qryVλ8∧hi@LAC@3,¬VNw]QP@.βwp∃@1HAG←β≠Q↓β∞∪?WQα↓⊃UUbβπ;⊃αβ'Q↓∧εv␈.β→∀∞≤[p≠~p∧e @¬EP∨W ∧αβ+∧∧λ∧ ur⊂λ8¬si@9H 4,∧Y,≡{{X,-α2P %pπiS[¬iKfAα3?Iβ&C∃β↔v+@⊗?α(⊂∩Yαf`∪GαK↔;∂Jβ?2∞Mε*ε<≡"`! ¬εEαd¬y @%IKB@↓SfAi<@AG←αs@≡NLX D∧_;@⊂_v:vt[8¬`~@↓ECi@&+@↔J h n⊂⊂:4→P⊂8 /w` d~)`∂?W⊗≠∃β≠|ε"ε
w/≡U`λ∧∧∀→0⊂Zβ de@5C]HAα3?Iβλ∧αεF|¬0→YP4p∪ c` e@& ';M∀εf/>4απ~→0↔βE
λ∞bhαj7πIhπβ∩α∧∧@→L~∧e&Pβ
Th∞t@A→ ~↓↓↓hRP≡F≤¬∪\β p∪←β+@∩ε,¬0→Zw2y`3 address, pπ↑A∩↓GC@9∧εW<αP<`/u a`&↓GYKCIC]GJ↓` ↔≠,ε&.v<WphPβ"@↓AβX[⊗Spy⊗@82 @b`∪∃5
↓↓∧εfN
λ6∩l
↓Q%&@nHλ∧λβ#&⊂λ⊂⊂εE∀4∧ease re@5S]HAαk∃βSzβ@≡8π2 Live@I[←eJ↓BAESαc1β≠|ε"πε|L↔J@@εEεBα λ∞bl5≠CdZβAI↓↓αε#≠⊂α2S(P⊂εE∃5]⊂⊂λ90t at C1-A
Ted Anderson v@=Y`↔nLV/↔4λ
t~→0⊗≤⊂;t`4h Shackle@Q←\\~(~∀_⊂≥E2j7πIhπβ∩α∧∧ ≠
≠De&Pβ
Tk: pjb↓ChAεD[α@~)!CkYα 1α∀λ
⎇Ix
wa`≥hαβS :
x L@4qt`!lh `%∧ε7.⊗β:0~λ8∧he d¬S@;>+@↔π-_ NNh≡0∩]⊗⊂12Xpzy`% I~∃αCπ[↔p∧w"ε=x .
α2z2Y⊂:42H5z42\α papewobk,∧@A⊃=o@↔[,ε"bε≤∧p∃H8∧he@4ASLAβ##↔e∧∧↔, εE 7illi@9H
βSzβ3 >⎇0λ ≡λ≥~ T→Z0↔→β` e@∧ε&NwL∧h ≥Yλ⊂→X|P;t→z42`2 phe@dACeJ↓iKGQ9SGCYαcd4,∧p⊂]4ys !ctoby h∂dAβ;#↔SF+@∩∧α(⊂∀_{2P 4o have them do@9JACO¬S\\@↓)QKr↓QCmJ↓iP≥β⊗(4+∂d∧V∂∩ X M}9z⊂→αh∂dAα≠3πO≤¬⊗ -8x=
≥{K@⊂λ$s⊂ 4hey @¬aJAi∃GQ]Sα≠π33Jβ@≡∂M_ l@0qz7\αy,
then↓aP∪↔∂≠∃β/,∧WαπM Vjεmx D
αrP 5npil I have the pa`!α+@↔{xZd ≠{Y%@⊂⊂"4~yP6p↑F@
`)¬P∂* ⊂λ∞⎇~;⊂∩H47w3Yy⊗⊂ "eca`+β≠∃α∀λ
≡Y(⊂↔→{2y appl@%K@⊃β4¬w$_(⊂⊃[2pq0[1rP "e`
@?α,R`@ ¬0w→⊂ @!CmJAαkπ&Tλ ,≥↑(⊂∪≠y2t`'n tbips _Aα ;⊃βLεBεO=` nD→8<o∀≥≠h ,(≤p~\2P:4→P64`3tλ
+Lε2ε≡⎇↑εf/LU`hPβ"@↓AβX[⊗Spy⊗@82 1724 JMC
To: llw at S1-A
I the draft report I sent yge on S@QC]M←IHA&bαβ∂?;'∪π∂Q∧{-|4Ph(0-E:j7πIhπβ∩αεε∪≠8→)T
α↓Q%&{$∧α¬$x λ∧∧λβ"J]_=
≤H~→$ <z|d
9(≥m =λ∪jJH≤⎇ ≥Y≤h m|Oc!!"@↓AβX[@-Mar-`d@@@β Q@&Tj~α↓Q%&@nHλ∧ ⊃pk∧
T⊃`⊂λ⊂⊂εE∪2z∪yH4¬ake it Monday at 2ph
Ai<A`∪πd¬2ε∞-x
.D≥~→$λ9_ )c`
A& ≡<KC!∧¬
λ∞bnαj7πIhπβ∩α∧∧ F6βDe&Pβ
Th∞t@AGgHαs∂#W⊗!βπQ¬~U -89u∀(β"I∀~≠p_→P:7P_4πr`%=nAπ←αkC@/LX Dλαyz0X4∧i`'αC7.β]⊂_pεte@HA∩Ae∃i`↔Kp¬`hPβ"@I doN't thinc The added Claus@∀ASLAβ##∃αuJQβ'w3?'∂*β?Iβd∧W'→<C!∞βpqP_tp
e@⊂AgaKα≠'6α8p⊂[4∧p∩Aα QβW~q↓α∀λ
8π5@ it wapεAakβ!β'dλλL\x90→YP7s⊂≥42P )ncre@¬`∂.AQ&≡}↑
W&/$λ l↑]Z0⊃YyP8 2ovaded ge@9KeCYαceβπv!β ↔≤∧↔/≡Tλ
(∪V*D~8 P≠4πw @=H ≠↔⊗K;≤4T∧g.fDλ L↑|h⊂→]4πr`2↓`∂/,¬P∀Xp¬s @%igKYα10∩α _ D∞α42`9 had↓EKK\αβ∂?;≤∧W-β2r ab`∨@,εBε@⎇<@⊂≥yrFE≥42|P≥wzv $ ha`-α)β@?-_
∞L8π⊂ ! h KiQKdAC⊃IeKgβ≠↔"∞Mrπ<h⊂→\2qt`&ical@1rAS]EkSeSαs⊂_hαX8M}=λ⊂∀]↔⊂⊂*~2y2`&ore, I re@¬H ≠≤∧[$
α|P /pi`≥Sα{9βSF Qβ@≥x
$∞z≠p~[2⊂5 5pπhAgαK⊂≡r∞Mε.O!Q&∞|Y0∩[p¬`≥hαβπ;⊃∧ε6.vDλ
.D_X8mTε~∀4⊂λ0 ;⊗p )\<K ≤ ⊂⊂⊂⊃Dhh∪∃5
↓hRS ;$∧α¬$βp@⊂λ⊂⊂εE∩P847[2r⊂&[quW He @MCSHAβ##πQ∧εFF*∞λ M}≠x `!l wo@UYHAQ¬mJAi<AEJAβ∪↔OW⊗k'SS,∧B`@ ¬0∪@<A∩AKβCC &≥_ L\α⊂0q≠zz⊂ 4he s@UGGKgβ→β >dλ
(≠⊂↔[3P1`!mpai@≥\Ai↑↓[C@/*βg?U∧∧⊗p@ ¬ r~αp @;≤εB¬π-x L↑|{p→ ⊂9wP≥p¬ agp¬KKHβiQC@ ∧εO"∞⎇ε.r
_
∧
<h⊂→→yzq6Zz:2`$, p∪←β)βO#|εVf Q(λLT∀∩+D∧⊂π7P_qz4`/n i`&↓]KGKβ≠@≡∂,ε(∞]]~0⊗λ<p∂`*↓H∂/Dλ m⎇9=~
≥Yh⊂∀[⊂:42H4¬ai@0XAE@,ε@hT∀λ
8π5@ it midπQhAα∪∃β←|ε'&B∂_ n↑H≥z
≥→(⊂~≠P:0v~β to hi`~Aα{9βSF)βC#|¬f*@@εEεBα λ∞bn5≠CdZβAI↓↓ )A`&Tj~α↓Q%&{$∧α∧dx4ααα↓Q'.→h⊂↔≠{P0s\2ryP≥4π
03)22 Monday 4`!αi1βK∧9βπ≠ β3∨
bβπ'm_6*πL≥6/⊂Q!P@`@l-k)\<K ≤ ⊂⊂→λM\@e&PP⊂εE∃7]⊂⊂λ!#&⊂λ⊂⊂εE→v62i α1~∀4⊂_⊂≥E@j7πIhπβ∩α∧∧ F&@∧e&Pβ
Th∞t@A~~b↓↓↓hR%β;,∧V"πMtπ&F≥m2ε
-↔"ε]x LT_Y0∪≠y2P$H9x2`!hεAi↑↓≠ef\αα/WuaP@!α@
λ∞bpαj7πIhπβ∩α∧∧ _
\∧e&Pβ
Th∞t@Aπ←Yαk↔KπαX .⊂0p∀↓≠∪([5+⊂∩RL~M↓hSS↔O h ⊂@ ¬β∧π18-Mar-`d@@bHhh∪∃5α@@~))↑t@Aπ←Y5KeCkα+@∩ε≤@λ Y5 3*Y∃∩0j4λβ"K≥⎇<@∞L<⎇
\αyy`Yp¬ alqo recaaf@∃HA←V8@AαAαCπ[∃ε∪↔∨Wp∧π&@h≥~
≥Xh⊂,-⎇= ≥≥→4Ml=~5L↑hεεE_w2⊂$Iv6⊂ 3end You anotheR iessa`∂JAβ≠??9ph 4 `@l.⊗Spy⊗@82 "β1A@&Tj~α↓_6}f\X L≡9<@⊂~yP7`. ARPAnet.@@@~))P≥iα↓αεA∧∧↔"¬8¬+(→+λ⊂≠Xy92`. at SRI-AI
His @9KhAC⊃IeKgβ→β'M∧≠?37,ε&∂.↑(εo.β_
4XyP;t→y2P 4he c@¬aSiC1SuC@&K?9β|∧bεW↑8
↓Q]~→$
8π4`4ia`_Aαc↔SS,ε"εO4λ .yrw:~pp .
λ∧⊂∀(0 ;↔ )\<K ≤ ⊂⊂⊂⊃\bp∪∃5
↓hRS ;$∧απx8 9→w⊂0zλ)i$VPdPεE∩z⊂;w]v2⊂ "e interes@QS]NAβ#=β *βπOO|∧6N∂LX ∧∞βtr4λ8∧he T¬β !¬β@⊗@{≠p∪H897`*ect.
λ∧⊂∀ `@l.⊗Spy⊗@82 "β9I@&Tj~α↓Q%&@nHλ∧∞βpp∩ren at SRI-KHλ@~)∩AISα#9?Dλ L\9λ⊂⊃Xy2s 5lh `%∧∧Vv@⎇9z¬D≠≠p∪ZqP8 2o`∂eC5[S@;8∧ε∂⊗=
↔&.>NW,(~0→H2{2`.
`≠←β∪∃β'w#↔K↔≤εFNvuaP@!α@
I didn't @IKCHA
CeKMUYQ`%∧+;/W>A1β3};'
β¬∪?∨K∞k7'lpλ ≡Xz~.L8⎇≥.,(~4d =Y0↔βE2wi→P4w:→y2yz~w3WεBεEβ∧π19-Mar-`d@@@λε#≠@→)T4λβ"JMnHλ∧λq∃∧∧λβ"J@p¬ have an app@=S]i[∃]`Ao%iPA∨α[;↔I∧∧↔"β⊗⊂∞F6λ≠p↔λ&p∂nday.
λ∞br5≠CdZβAI↓↓α⊂ FV@∧e&Pβ
Th∞t@A`∨πα.&.r ≡B¬≥)∃T J↓Q$&@h≡0↔]P40{→P47`-e phones @→←dA↔∃SiPA
YCeVαβ?Iα⊗{ α=x
l≥≤zz'q C"@↓AβX\VSpy⊗@82 !∀11∪∃5
↓L∧F.f∨∀ε}∩∞N&Oα↓Q%&{$∧απ⊗≥ε∂"
6∩l
Dλ
NβP0zλ)XV`H⊂⊂εE∪|P"j\4πpe@¬\AiE%`ASF↓IKICeK@A←αs∃βπv!βC?∨≠' ∪JβS@>tλ
l\αqyWλ⊂*42\2s7i→T⊂$FB860wλ:7P 'o to the Space Indestrialization meeting and↓CYg↑↓mSgSβ!βS#(h"MT⊂ππ⊗⎇(V∨" ≡BεF\≡7"ε⎇l6*ε]z&*PQ!P@`@lLK)\<K ≤ ⊂⊂⊂→L~@e&Pβ
Tk: @
_@@@~)!P∪↔∂≠∃β≠L¬f"ε\Tεf/LLW.h→TM⎇(∩y-≡~λ⊂mL<Z`⊂≠y⊂ ∩oberd↓↔←oC1cWR\αα%β;,∧V"π
vv*
nVn⊗↑.2`HαC"@↓AβY→⊗Spy⊗@82 0419∪∃5
↓hRS-iα↓β+ ⊂∧ε∂"λ6∩l
↓Q%'↔∀∧&F.β≤λ
Mβstgλ⊂7w the S1 fo@=]Yb\4⊂∩∧_⊗dd5≠CdZ`d@@b\jb∪∃5ε@@∪=]JAo¬rA[SMgSO\↓eKa←Ih@@~))↑t@AYYn↓ChA&D[αXAICPACPA&b[∧XA[S9gWbA¬hA≠∪P[β∩X4∀@@@@AIC9]rACPA≠∪(5β∩@~))QJA1CghAACaKd↓oJAo¬]iKH↓QCfA→S]CY1rACaAKCeK⊂\@A∪PASfA∃]iSi1KH~∀ )QJA=]J[o¬rA[C9]KHAMaCGJ↓[Sgg%←\DA rA∃←!\A~\↓π←eH↓C]HA1K←]CIHA~\↓'KCY∀~∃C]⊂AoCf↓Sggk∃HAS\brld8@A∪h↓SfAM=dABA=]JA[¬\A[SMgS←\8@A'←5JA←L↓iQJ~)YSMJ5gkaa=ehAG=[aki¬iS←]LA[Cr↓giSY0AEJAIKYKm¬]h\@↓∩OYX↓EeS]≤AShA%\~∃i<A→→≥0\~∀~(_≡dd5≠CdZ`d@@dD`l∪∃5ε@@~))↑t@A
_@@@~))QCh↓oCfAAeKgg∃rASL↓s←jA!CmK\≥hAgK9hASh↓sKh\4∀~∀_≡df5≠CdZ`d@@bDb`∪∃5ε@@~))↑t@A%!∞@@@~))o↑A%fAMS9J\~∀4∀_≡df5≠CdZ`d@@dDfb∪∃5ε@@~))↑t@A
_@@@~)O←Ykλ\b~∀4∀erauer atMIT-MULTICS
I now propose to arrive on Saturday, April 10 andleave on Saturday
May 8. Will that be ok?
24-Mar-_2 1750 JMC
To: FFL
It would @ JAO←=HASL↓∩AG←UYHAY∃CmJA→←dA→%mKe[=eJAi=[←ee=nAChbcCZ8~∀
∀_≡dj5≠CdZ`d@@`@jf∪∃5ε@@∪EkCgi%←]]C%eJ@~))↑t@A
_@@@~)∩AQCYJACI⊃KHAcUSiJA∧AMKn↓ieSaLAi↑AQQJAM=eZAC9HACI⊃KHA[dAU←D↓QSgi=er\~)!QKCMJAMS9HAC]dAieSAfAiQ¬hA[CdAEJA1SgiK⊂AS\AQQJAM%YJA⊃%'!∨%e7.pd1∃≠π:4∃iQCPAoKe∃\OhAQaC]g→KeeK⊂Ai↑AM π+¬∃6bY∃5π:\@↓'KJA%HAs←TAGC\↓[CWJ↓iQJ~)oQ←Y∀AiQS9NA]K¬iKdAQQC\A$AYKMPASh\A∩OY0AEJA%\Ai↑↓O↑A←YKdASPAoSi As←J8~∀
∀_⊗dj5≠CdZ`d@@`Dfj∪∃5ε@@∪e←kdAYSgSh@@@~))↑t@AgQCASe↑A¬hA3β1
@@~)∩AgQ=kYHA!CmJA≥←hAE¬GVAi<As←j↓g←←]∃d\@Ae←jAI%I\Oh↓[CWJ↓BAQSPAoSi A∂←YUD~∃EdAiCY-S]NA¬E←kh↓OCii%]NA←UhA←L↓iKCG!S]N\A)QJ↓giC]⊃CeHA1←CHA%fA←]∀AG←kIgJ~∃AKdAcUCeiKHA←LAQQJAC
CAK[%FAsK¬d\@A∧AMKn↓←YHA!C]If↓YSWJ↓[BAi∃CGPA=]YrAQo↑~∃=khA←_AiQJ↓iQeK∀AckCIiKefQEks%]NA←UhAoSQPAeKMKCeG A[←]∃rRXA khA∩↓iQS],~∃iQ∀AsOk9OKdA→CGkYQrACY0AiKC
PAiQ∀AiQe∃JAck¬eiKeLXACYQQ←kO AYKCYKfACIK\Oh4∃QCe⊂Ai↑A≥KhAM=dACY5←ghA¬]rAe∃Cg←\8~∀
∃%LAs←TACeJ↓giSY0AS]i∃eKgi∃HAS\↓'iC]→←eHX↓∂←YkλAGC\↓aKCI%YrAE∀AeKCMgkeK⊂~∃iQ¬hAs←TAaYC8Ai↑A⊃↑Ac←UdAgQ¬eJA←_AiKC
QS]N8@A∩Aβ≠WCC␈≠∃βSF QαO& ;≠?⊗ 4+∪N3∪↔K~β≠K?jβS#∃¬+;'[-∪G'SJβ?→αNc3';|KEβ'rβS#'~β7πS&+I84Ph*S#*βOSW&+;SMπ;↔K∃εK7CK/≠O↔⊃π;'S!π≠?7∃ε{⊂∩πM Rπ&
≥f/~∂≥w*ε ≡f*εM⎇f*ε≥l@hW⎇≡FBπ≥}W∩ε≥nF/↔m_W:b .W"πM WJα,Mvr?D
6.*
w:π≥}Rε6≡@εNr%Dε⊗.<≡W≡*∞Mε/HQ(6}w=_F/∩
&}f|tε
εl≡'⊗←t∞7.⊗,\7"r∧ ⊗rε←∀ε␈ε≥m⊗}rD∞FF/∀}&*ε]≡7&∞<Ybε∞-}W h.MεO~D ⊗v" ∀π>NMDε≡∂./∩π& Tε⊗∞MDε}r ≡&?.≥lrπ& ≡Bεf|⎇⊗~π∞-v?⊗≥]VNvt
↔_h,∀π∂.-(V∨" mwαπ⎇
⊗≡B
>F∞vm}&"ε ≡2π&t V∞↑T∞&}}Udα∧F}|W6/%DπN␈T 6␈.LDεF.N↓PV↔∀
V∞NM≥f:ε\Tε
εm}F*ε≤-w/"
w:π≥}Rπ≡\Tπ&FT∞7.⊗,\7"ε|dεf↑⎇≤2ππ-|w⊗∞]]⊗v8Q,↔~ε∀
vF}LTε∞vD
ε␈:∂≥w/∩∞⎇w⊗Z m↔'~
≥bπ&t ↔"pQ!PTNd∂⊗␈*∞|⊗w"∞Mrπε
⎇f*b ∀ε≡∞d &*π,\⊗≡F\Dε∂"εG∪:kFF3αε|lfN≡T
wαβεVrkβfp AQX≠s,UHλ∃
∞<\y ∨(_9NL<[[m⎇H_;LD→=Q-m;Yc∧ ){≠∧ Y(_m⎇\⎇;∞M;Y` ≥Yλ∪ ≡|Y;L<#"S
≡Y<[-}Y(∪ ≤[|X.M|↑( ≡λ
F%,
m'∧ (_-Mλ_<L\(_p↔Y2P~15.¬
λ∞dl5≠CdZβAI↓↓β↓UX→)T
α↓Q%&{$∧αε∨=Eg⊗.≤Dε∂"
:Rm≤9z$*α↓Q&V@8h $ {Y(
|→0→H42SyH:42P≤z:r2[:⊂;t≠P;pyH0r6t]8∧ed∞ The kbfIous tpafslator
is one o@_AiQJ↓←iQKHA!%ε↓gikI∃]ifA¬hA'i¬]M←e⊂\~∧~(_≡dl5≠CdZ`d@@`D``∪∃5ε@@AYSBA&D[α@~))↑t@A≠
~)Ch@b@tdhA]KI]KMICrAQQJA≥e(AoSIJAikI]KHAQ↑AOCIECOJ8~∀
∀_≡dl5≠CdZβAI↓↓β→EH&Tj
↓hRS=iα↓β∂O"sW33n 9βπ αNU6≤~>J∀hR←¬βnK∨#Qπ;π'Q∧3?IβO!βS=ε∪∃βON;;↔⊃ε∪eαε∃α¬β∪O∪↔∂S␈⊃0⊂h!Q `[&eTn∂%Sβ∩αεε3∪8→)T~α↓Q%&{$∧α¬∃λtααα↓Q"FNd
fNb∧|∩α>%∀π>␈->2ε∂D
4 LD '/"
mw"ε≡@¬≠
aQ hP`{&eTn∂%Sβ∩αε⊗s∪H envy
To: RWG
I have succeeded in inducing a case of binder envy in Betty Scott. She
wants to know the name of the binder at PARC and the name of the person
at PARC who can tell her about it.
Preliminary remark about flavors: Having flavors may be independent of
whether we are talking about objects or quantities. My example of vectors
and smallness referred to quantities.
∂26-Mar-82 1743 JMC
To: CLT
04-06 tues. 7:30pm, Jordan 100, Dov Gabbay lecture
∂27-Mar-82 2111 JMC
To: FFL
kahn.1, and please make a Livermore form - $11.00 food this time.
∂27-Mar-82 2328 JMC
To: MLB
I like to try out the Symbolics machine when convenient
∂27-Mar-82 2355 JMC
To: BS at SU-AI
∂27-Mar-82 2333 RWG Cheshire binders
To: BS at SU-AI
CC: JMC at SU-AI
come in two flavors, hairy and simple. The hairy one takes binder tape
cassettes in three widths and cuts them to the length you specify.
The simple one uses precut 11" tapes and cannot bind books more than
about 1.5 times the thickness of JMC's flavor papers. But it is
simpler to operate, harder to jam, and has colored tapes. We have
both flavors at PARC. (Xerox bought the company.) My phone
(494 4491) will eventually ring at Linda Williams's switchboard,
which is right next to a hairy Cheshire. I suspect she could tell
you a lot.
There's also a marvelous paper joggler into which you can put your
Dover output prior to Cheshiring, which Symbolics Inc just had to
have, until they learned it cost $600. I think it's by FMC. Call
the main Xerox number (494 4000) and ask for Jeannie Treichel or
Janet Moreland in Bldg 32.
∂28-Mar-82 0059 JMC
To: FFL
Did I send the letter on Boyer and Moore? Please send a copy to Bledsoe.
∂28-Mar-82 1454 JMC
To: FFL, CLT
I have changed my password, because I think the old one has been used by strangers.
∂28-Mar-82 1545 JMC
To: RWW
Gosper 494 4491, at Xerox
∂28-Mar-82 1848 JMC
To: gosper at PARC-MAXC
Are you interested in eating later? Call 857-0672.
∂29-Mar-82 1108 JMC
To: FFL
Yes, the letter to Bachman.
∂29-Mar-82 1159 JMC
To: warren at SRI-KL
I forgot to ask whether they can be reached on ARPAnet.
∂29-Mar-82 1255 JMC File server
To: REG
1.I think we have sufficient word from ARPA to justify proceeding
on the file server.
2. I talked to Poole today who will call you. He isn't making the
F5 and will propose an F4 but claims it will be cost-effective. He
can have a proposal in about a week.
3. Are there other plausible candidates? Should we get out an RFP?
Perhaps someone should phone D.E.C. to see if they can do better
now than before.
∂29-Mar-82 1949 JMC
To: chandrasekaran at RUTGERS
Unfortunately, I'll be in France May 3-7.
∂30-Mar-82 0100 JMC
To: FFL
geabst[w82,jmc] should be scribed. It is the abstract I'll send to GE for June talk.
∂01-Apr-82 0924 JMC
To: MDD
I'm glad to be a reference, but I'll be going to France on the 10th. If
you tell me to whom the reference should be addressed, I'll do the letter
before I leave, and my secretary can send it when the inquiry arrives.
∂01-Apr-82 1025 JMC
To: ota at S1-A
I can't leave Stanford till 11:30 Friday, because I have a meeting at 10
concerned with using our ARPA computer money. If it turns out you have
to leave early, pephaps I'd better go separatelY. If I leave at 11:30
from StaffOrd, I can be at the Lab a few mifutes after 12:30 depeNding
on tpaffic. Ju`ging by our previous trips, this should get us there
in time for the 7pm ceremonies.